• Alexandre Duret-Lutz's avatar
    test the SPOT_SATSOLVER envvar · f84ca999
    Alexandre Duret-Lutz authored
    * tests/core/satmin3.test: New file.
    * tests/Makefile.am: Add it.
    * spot/misc/satsolver.cc: Cleanup error messages.
    * spot/misc/satsolver.hh (satsolver_get_solution): Remove this unused
    function.
    * tests/core/readsat.cc, tests/core/readsat.test: Delete (unused).
    * tests/Makefile.am: Adjust.
    f84ca999
Makefile.am 11.6 KB