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