-
* spot/twaalgos/tra2tba.cc: Support Rabin like input * tests/core/tra2tba.cc: Remove C tests * tests/core/tra2tba.test: Remove C tests * tests/python/tra2tba.py: Convert C tests to python * tests/Makefile.am: Remove C tests and add python tests
69cf3c55