-
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.
b928d8c8
To find the state of this project's repository at the time of any of these versions, check out the tags.