-
Alexandre Duret-Lutz authored
* spot/twa/twagraph.cc, spot/twa/twagraph.hh: Here. Also make sure "original-states" survives defrag_states(). * NEWS: Mention it. * tests/python/origstate.py: New file. * tests/Makefile.am: Add it.
46d8aaaa
* spot/twa/twagraph.cc, spot/twa/twagraph.hh: Here. Also make sure "original-states" survives defrag_states(). * NEWS: Mention it. * tests/python/origstate.py: New file. * tests/Makefile.am: Add it.