-
Alexandre Duret-Lutz authored
* src/ltlparse/ltlparse.yy (rationalexp): Allow bracedrationalexp. * src/ltltest/consterm.test, src/tgbatest/ltl2tgba.test: Add more tests.
4e7233d9
* src/ltlparse/ltlparse.yy (rationalexp): Allow bracedrationalexp. * src/ltltest/consterm.test, src/tgbatest/ltl2tgba.test: Add more tests.