Skip to content
Find file Blame History Permalink
  • Alexandre GBAGUIDI AISSE's avatar
    tests: Improve tests related to SAT-minimization · dfd500a5
    Alexandre GBAGUIDI AISSE authored 
    * tests/core/satmin.test: Delete check for SPOT_SATSOLVER env
variable and add state numbers verification.
* tests/core/satmin2.test: Delete check for SPOT_SATSOLVER
env variable.
* tests/python/satmin.py: Delete check for SPOT_SATSOLVER
env variable.
    dfd500a5