-
Alexandre Duret-Lutz authored
Report from David Müller. * spot/twaalgos/simulation.cc: Add wrapper to deal with automata sharing Fin/Inf sets. * tests/core/ltl2tgba2.test: New test cases. * NEWS: Mention the change.
7300488a
Report from David Müller. * spot/twaalgos/simulation.cc: Add wrapper to deal with automata sharing Fin/Inf sets. * tests/core/ltl2tgba2.test: New test cases. * NEWS: Mention the change.