-
Alexandre Duret-Lutz authored
* src/taalgos/tgba2ta.cc: Do not assume the input is an sba. * src/tgbatest/ltl2ta2.test: New file. * src/tgbatest/Makefile.am: Add it. * NEWS: Mention the fix.
a5b6865c
To find the state of this project's repository at the time of any of these versions, check out the tags.