• 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