-
Alexandre Duret-Lutz authored
* spot/parsetl/parsetl.yy: Adjust one diagnostic. * spot/parsetl/scantl.ll: Fix recovering of missing closing brace in lenient mode. * tests/python/ltlparse.py: Add tests. * NEWS: Mention the lenient mode bug.
bf31ff12
To find the state of this project's repository at the time of any of these versions, check out the tags.