• Alexandre Duret-Lutz's avatar
    Merge emptinesscheckexplicit into ltl2tgba. · d46c63a2
    Alexandre Duret-Lutz authored
    * src/tgbatest/Makefile.am (check_PROGRAMS): Remove
    emptinesscheckexplicit.
    (emptinesscheckexplicit_SOURCES): Remove.
    (TESTS): Replace emptinesscheckexplicit.test by emptchke.test.
    * src/tgbatest/emptinesscheckexplicit.cc,
    src/tgbatest/emptinesscheckexplicit.test: Delete.
    * src/tgbatest/empchke.test: New file.
    * src/tgbatest/ltl2tgba.cc: Add support for -X.
    d46c63a2
ltl2tgba.cc 7.27 KB