-
Alexandre Duret-Lutz authored
Fixes #218. * spot/twaalgos/alternation.cc: Adjust check. * tests/core/alternating.test: Add test case from #218. * NEWS: Mention the bug.
15c6fd95
To find the state of this project's repository at the time of any of these versions, check out the tags.