-
Alexandre Duret-Lutz authored
Fixes #286. * spot/twaalgos/simulation.cc: Only set the deterministic property, not the non-deterministic one. * tests/core/ltl2tgba.test: Add test case. * NEWS: Mention the issue.
7e394506
To find the state of this project's repository at the time of any of these versions, check out the tags.