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.f02ca87f
To find the state of this project's repository at the time of any of these versions, check out the tags.