Alexandre Duret-Lutz authored
Alexandre Lewkowicz reported a case where complete() would peek an existing state that is accepting, and wrongly use it as a sink. * spot/twaalgos/complete.cc: Fix the function. * tests/core/complete.test: Add two more tests. * NEWS: Mention the bug.51483b9b
To find the state of this project's repository at the time of any of these versions, check out the tags.