• 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
sbacc.cc 4.43 KB