-
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
Fixes #218. * spot/twaalgos/alternation.cc: Adjust check. * tests/core/alternating.test: Add test case from #218. * NEWS: Mention the bug.