-
Alexandre Duret-Lutz authored
* spot/twa/twagraph.cc (purge_dead_states): Be bddfalse-aware! * spot/twa/twagraph.hh, NEWS: Document this. * tests/python/alternating.py, tests/python/twagraph.py: Add some test cases.
5f49209c
To find the state of this project's repository at the time of any of these versions, check out the tags.