-
Alexandre Duret-Lutz authored
translation contain useless SCCs that where not ignored for minimization. * src/tgbaalgos/minimize.cc (minimize_wdba): Strip useless SCCs before minimization. * src/tgbatest/ltl2tgba.test: Add a check.
256eb5bb
To find the state of this project's repository at the time of any of these versions, check out the tags.