-
Alexandre Duret-Lutz authored
* tests/core/full.test: New file. * tests/Makefile.am: Add it. * bin/autfilt.cc, bin/common_aoutput.cc, bin/common_aoutput.hh, bin/common_file.cc, bin/common_file.hh, bin/genltl.cc, bin/ltlcross.cc, bin/ltlfilt.cc, bin/ltlgrind.cc, bin/randltl.cc: Add diagnostics. * NEWS: Mention the fix.
e97ea5fa
To find the state of this project's repository at the time of any of these versions, check out the tags.