-
Alexandre Duret-Lutz authored
* src/tgbatest/ltlcheck.test, src/tgbatest/ltlcheck2.test: New files. * src/tgbatest/Makefile.am: Add them.
7d6fc328
* src/tgbatest/ltlcheck.test, src/tgbatest/ltlcheck2.test: New files. * src/tgbatest/Makefile.am: Add them.