-
Alexandre Duret-Lutz authored
* src/ltltest/parseerr.test: Use `equals -E' instead of `readltl' to check the parsing of erroneous strings without being sensible to the ordering for formulae in memory.
13870bba
To find the state of this project's repository at the time of any of these versions, check out the tags.