-
Alexandre Duret-Lutz authored
* src/ltltest/reduc.cc: Add an option -f to read a lost of formulae from a file. Running a process for each formula was too slow. Also add an option -h to hide reduced formulae. * src/ltltest/reduc.test: Simplify accordingly.
062045eb
To find the state of this project's repository at the time of any of these versions, check out the tags.