Skip to content
  • Alexandre Duret-Lutz's avatar
    sccsimpl: Remove Fin sets between SCCs · 0143f0d4
    Alexandre Duret-Lutz authored
    We do not remove them in rejecting SCCs (as it might make the SCC
    accepting), but we can remove them between SCCs.
    
    Fixes #101.
    
    * src/twaalgos/sccfilter.cc: Here.
    * src/tests/sccsimpl.test: Add test case.
    * NEWS: Mention this.
    0143f0d4