• Alexandre Duret-Lutz's avatar
    * src/tgbatest/ltl2tgba.cc (syntax): Recognize "-" as input · 2c10510e
    Alexandre Duret-Lutz authored
    filename for the formula.  Merge the transitions of automata
    read with -X.
    * src/tgbatest/spotlbtt.test: Add many disabled algorithms.
    It is convenient to reuse the `config' file created by this
    test when making statistics.
    * src/tgbatest/ltl2baw.pl: New file.
    * src/tgbatest/Makefile.am (EXTRA_DIST): Add ltl2baw.pl.
ltl2tgba.cc 10.1 KB