-
Alexandre Duret-Lutz authored
* src/tgbatest/ltl2ta.test: Adjust expected values. * src/tgbatest/Makefile.am (TESTS): Add ltl2ta.test.
6bd905c6
* src/tgbatest/ltl2ta.test: Adjust expected values. * src/tgbatest/Makefile.am (TESTS): Add ltl2ta.test.