Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    sccinfo: fix accepting run computation · 48028986
    Alexandre Duret-Lutz authored 
    * spot/twaalgos/sccinfo.cc (scc_info::get_accepting_run): Ignore edges
whose colors are not part of the colors gathered in the SCC up to
deciding acceptance.
* tests/python/genem.py: New test case, reported by Clément Tamines.
* THANKS: Add him.
* NEWS: Mention the bug.
    48028986
To find the state of this project's repository at the time of any of these versions, check out the tags.