-
Alexandre Duret-Lutz authored
* src/ltltest/formulae.txt: New files (2200 LTL formulea generated by Wring). * src/ltltest/formules.ltl: Delete. * src/reduc.test: Read formulae.txt.
a37bac01
To find the state of this project's repository at the time of any of these versions, check out the tags.