• Henrich Lauko's avatar
    tra2tba: Add support for Rabin like automata · 69cf3c55
    Henrich Lauko authored
    * 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
Makefile.am 11.3 KB