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