• Alexandre Duret-Lutz's avatar
    parsetl: improve coverage · bf31ff12
    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.
To find the state of this project's repository at the time of any of these versions, check out the tags.