-
Alexandre Duret-Lutz authored
* src/tgbatest/ltl2tgba.cc: Introduce -RT to turn on bisimulation on TA instead of hijacking -Rm. * src/tgbatest/ltl2ta.test: Adjust.
20c7f1e8
* src/tgbatest/ltl2tgba.cc: Introduce -RT to turn on bisimulation on TA instead of hijacking -Rm. * src/tgbatest/ltl2ta.test: Adjust.