-
Alexandre Duret-Lutz authored
* src/tgbatest/ltl2tgba.cc: Diagnose attempt to use -l and -taa on PSL formulae. Switch back to -f for these formulae.
3dfde9e8
* src/tgbatest/ltl2tgba.cc: Diagnose attempt to use -l and -taa on PSL formulae. Switch back to -f for these formulae.