• 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
satmin.py 1.47 KB