-
Alexandre Duret-Lutz authored
So that running valgrind is a lot more efficient. Running ltl2tgba.test using to take more than 15min. We are now down to 25sec. * src/tgbatest/checkpsl.cc: New file. * src/tgbatest/Makefile.am: Add it. * src/tgbatest/ltl2tgba.test: Adjust.
9502266f