Skip to content
  • Alexandre Duret-Lutz's avatar
    tra_to_tba: finish 05e6e088 · 3220da66
    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