-
Alexandre Duret-Lutz authored
* src/tgbaalgos/minimize.cc (build_result, minimize_dfa, minimize_wdba): Correctly handle (i.e. ignore) useless states. * src/tgbatest/ltl2tgba.test: Add two more tests.
c019a44c
* src/tgbaalgos/minimize.cc (build_result, minimize_dfa, minimize_wdba): Correctly handle (i.e. ignore) useless states. * src/tgbatest/ltl2tgba.test: Add two more tests.