-
Alexandre Duret-Lutz authored
* src/ltltest/genltl.cc: Delete. * src/ltltest/Makefile.am (noinst_PROGRAMS): Remove genltl. * src/tgbatest/ltlcounter.test, bench/ltlclasses/run, bench/ltlcounter/run: Adjust to call bin/genltl.
1257893f
* src/ltltest/genltl.cc: Delete. * src/ltltest/Makefile.am (noinst_PROGRAMS): Remove genltl. * src/tgbatest/ltlcounter.test, bench/ltlclasses/run, bench/ltlcounter/run: Adjust to call bin/genltl.