-
Florian Renkin authored
* spot/twaalgos/toparity.cc: Remove merge_states. * tests/python/automata.ipynb, tests/python/toparity.py: Update tests.
527b62c5
* spot/twaalgos/toparity.cc: Remove merge_states. * tests/python/automata.ipynb, tests/python/toparity.py: Update tests.