• Alexandre Duret-Lutz's avatar
    sbacc: fix a serious bug · 9377db2e
    Alexandre Duret-Lutz authored
    Reported by Thibaud Michaud
    
    * spot/twaalgos/sbacc.cc: Do not label rejecting SCCs with the empty
    mark, as it might be accepting.
    * tests/core/sbacc.test: Add test cases.
    * NEWS: Mention the bug.
    9377db2e
To find the state of this project's repository at the time of any of these versions, check out the tags.
NEWS 157 KB