-
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