Skip to content
  • Alexandre Duret-Lutz's avatar
    Merge emptiness-checks tests into ltl2tgba. · 65f84e2c
    Alexandre Duret-Lutz authored
    * src/tgbatest/Makefile (check_PRORGRAMS): Remove
    emptinesscheck and ltlmagic.
    (emptinesscheck_SOURCES, ltlmagic_SOURCES): Remove.
    (TESTS): Replace emptinesscheck.test and ltlmagic.test by
    emptchk.test.
    * src/tgbatest/emptinesscheck.test, src/tgbatest/ltlmagic.test:
    Delete.
    * src/tgbatest/emptchk.test: New file.
    * src/tgbatest/emptinesscheck.cc, src/tgbatest/ltlmagic.cc:
    Delete.
    * src/tgbatest/ltl2tgba.cc: Add support for -e, -E, -m, -M, and -n.
    65f84e2c