-
Alexandre Duret-Lutz authored
* bench/emptchk/formulae.ltl: Do not use + and * in the list of formulas. Use | and & instead. The * operator was removed on 2010-01-30. Reported by Étienne Renault.
fdf8878d
To find the state of this project's repository at the time of any of these versions, check out the tags.