-
Alexandre Duret-Lutz authored
* spot/twaalgos/remfin.cc (tra_to_tba): Implement the same optimization has in the generic remove_fin transformation. * tests/python/tra2tba.py: Adjust.
05e6e088
To find the state of this project's repository at the time of any of these versions, check out the tags.