• Maximilien Colange's avatar
    Fix a bug in spot.complete() · 1b2f2a79
    Maximilien Colange authored
    spot.complete() could complete an empty co-Büchi automaton into an
    automaton accepting everything.
    * NEWS: Document it
    * spot/twaalgos/complete.cc: Fix it
    * tests/core/complete.test, tests/core/prodor.test: Test it
To find the state of this project's repository at the time of any of these versions, check out the tags.