-
Alexandre Duret-Lutz authored
This proceeds from a discussion with Michaël Cadilhac. http://lists.lrde.epita.fr/pipermail/spot/2021q1/000356.html * bin/autfilt.cc (--kill-states): New option. * NEWS: Mention those. * spot/twa/twagraph.hh, spot/twa/twagraph.cc: Add a kill_state() method. * tests/core/maskkeep.test: Test it.
caa960d8
To find the state of this project's repository at the time of any of these versions, check out the tags.