• 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
    1b2f2a79
complete.cc 6.34 KB