• 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.
    51483b9b
complete.test 2.68 KB