-
Alexandre Duret-Lutz authored
* spot/twaalgos/cobuchi.cc (to_dca, to_nca): Do not process the input if it is already co-Büchi. * tests/core/dca.test: Test this. * NEWS: Mention the bug.
7957a231
* spot/twaalgos/cobuchi.cc (to_dca, to_nca): Do not process the input if it is already co-Büchi. * tests/core/dca.test: Test this. * NEWS: Mention the bug.