• 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
To find the state of this project's repository at the time of any of these versions, check out the tags.
ChangeLog 78.1 KB