• Alexandre Duret-Lutz's avatar
    twa_graph: fix purge_unreachable_states on alternating automata · f6a238ef
    Alexandre Duret-Lutz authored
    The algorithm had two problems: it was removing only useless
    destination from universal destination (instead of removing the entire
    edge), and it was not properly iterating over the entire reachable
    * spot/twa/twagraph.cc: Fix it.
    * spot/twa/twagraph.hh: Adjust documentation.
    * tests/core/alternating.test: Add more tests.
    * tests/python/twagraph.py: Adjust.
    * NEWS: Mention the bug.
To find the state of this project's repository at the time of any of these versions, check out the tags.