-
Alexandre Duret-Lutz authored
* spot/twaalgos/toparity.cc: Do not remove false transitions. * tests/python/toparity.py: Add a test case with false transitions.
875846f5
* spot/twaalgos/toparity.cc: Do not remove false transitions. * tests/python/toparity.py: Add a test case with false transitions.