-
Maximilien Colange authored
* spot/twaalgos/parity.cc: cleanup_parity and cleanup_parity_here are now better at finding useless parity colors * tests/python/parity.py: test it * NEWS: document the change
e945beb6
* spot/twaalgos/parity.cc: cleanup_parity and cleanup_parity_here are now better at finding useless parity colors * tests/python/parity.py: test it * NEWS: document the change