-
Alexandre Duret-Lutz authored
* spot/twaalgos/gfguarantee.cc: Call is_terminal_automaton() on the reduced automaton. * tests/core/ltl2tgba.test: Add a test case.
52660108
* spot/twaalgos/gfguarantee.cc: Call is_terminal_automaton() on the reduced automaton. * tests/core/ltl2tgba.test: Add a test case.