-
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
* src/ltltest/formulae.txt: New files (2200 LTL formulea generated by Wring). * src/ltltest/formules.ltl: Delete. * src/reduc.test: Read formulae.txt.