-
Alexandre Duret-Lutz authored
* src/ltltest/randltl.cc: Delete. * src/ltltest/Makefile.am (noinst_PROGRAMS, randltl_SOURCES): Remove. * src/ltltest/reduc.test, src/ltltest/reducpsl.test, src/ltltest/utf8.test, src/tgbatest/randpsl.test, bench/emptchk/README: Adjust to use bin/randltl.
649e8e2d