-
Maximilien Colange authored
* spot/twaalgos/determinize.cc: the acceptance condition of the determinized automaton should be simpler * tests/core/safra.test, tests/python/simstate.py: update tests
41d5e449
* spot/twaalgos/determinize.cc: the acceptance condition of the determinized automaton should be simpler * tests/core/safra.test, tests/python/simstate.py: update tests