-
Alexandre Duret-Lutz authored
* spot/twaalgos/remfin.cc: Actually use propmarks. * tests/core/det.test, tests/core/remfin.test, tests/python/automata.ipynb, tests/python/remfin.py, tests/python/tra2tba.py: Adjust test cases.
3220da66
* spot/twaalgos/remfin.cc: Actually use propmarks. * tests/core/det.test, tests/core/remfin.test, tests/python/automata.ipynb, tests/python/remfin.py, tests/python/tra2tba.py: Adjust test cases.