• Damien Lefortier's avatar
    Merge eltl2tgba.cc into ltl2tgba.cc. · 830e4828
    Damien Lefortier authored
    * src/tgbatest/eltl2tgba.cc: Remove.
    * src/tgbatest/Makefile.am: Adjust.
    * src/tgbatest/ltl2tgba.cc: New option: -xltl to translate an
    extended LTL instead of an LTL, a feature previously offered by
    eltl2tgba.cc. Also: -R3b to use delete_unaccepting_scc.
    * src/tgbatest/spotlbtt.test: Adjust.
    830e4828