-
Alexandre Duret-Lutz authored
When dealternating the VWAA for GFa, our result had two states that could not be fused by simulation because of unmatched acceptance mark. With this change, the result can be simplified. * spot/twaalgos/alternation.cc: Here. * tests/core/alternating.test, tests/python/alternation.ipynb: Update test case. * NEWS: Mention it.
e87d308e
To find the state of this project's repository at the time of any of these versions, check out the tags.