• Alexandre Duret-Lutz's avatar
    parsetl: improve coverage · 3d3baf44
    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/declenv.py: Move some tests...
    * tests/python/ltlparse.py: ... here, and add many more.
    * NEWS: Mention the lenient mode bug.
    3d3baf44