-
Alexandre Duret-Lutz authored
* src/tgbaalgos/minimize.cc (minimize_monitor): Fix typo yielding incorrect monitor if the input tgba is not deterministic. * src/tgbatest/ltl2tgba.test: Add test case.
ad93f875
To find the state of this project's repository at the time of any of these versions, check out the tags.