-
Alexandre Duret-Lutz authored
* src/eltltest/acc.test, src/tgbatest/eltl2tgba.test: Simplify use of here documents, and also test for ltl2tgba's -lo option with valgrind.
dcd4644d
* src/eltltest/acc.test, src/tgbatest/eltl2tgba.test: Simplify use of here documents, and also test for ltl2tgba's -lo option with valgrind.