• Alexandre Duret-Lutz's avatar
    fix complete · 51483b9b
    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.
To find the state of this project's repository at the time of any of these versions, check out the tags.