• Alexandre Duret-Lutz's avatar
    scc_filter: do not remove Fin sets from rejecting SCCs · 5cb19a29
    Alexandre Duret-Lutz authored
    * src/twaalgos/sccfilter.cc (acc_filter_some, acc_filter_all): Merge
    (acc_filter_mask): ... this single parametrized class, and only
    remove sets that are only used as Inf.
    * src/twa/acc.hh: Add missing operator~.
    * src/tests/sccsimpl.test: Add test case.
    * src/tests/sccdot.test: 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.