-
Alexandre Duret-Lutz authored
* spot/twa/twagraph.cc (merge_states): Return the number of removed states, and use that to decide if defrag_states is needed. * spot/twa/twagraph.hh, NEWS: Document that. * tests/core/tgbagraph.test, tests/core/twagraph.cc: Adjust test case.
4570c735
To find the state of this project's repository at the time of any of these versions, check out the tags.