-
Florian Renkin authored
* spot/twaalgos/toparity.cc: Use merge_states at the end of to_parity. * tests/python/toparity.py: Update tests.
8c480039
* spot/twaalgos/toparity.cc: Use merge_states at the end of to_parity. * tests/python/toparity.py: Update tests.