-
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
To find the state of this project's repository at the time of any of these versions, check out the tags.