-
Alexandre Duret-Lutz authored
free all formulae entered into canonical_succ, to avoid errors when a formula is entered into canonical_succ but not into formulae_seen. * src/tgbatest/ltl2tgba.test: Add a new test, and check with -f. Report from Thomas Martinez.
ca80561a
To find the state of this project's repository at the time of any of these versions, check out the tags.