Skip to content
  • Alexandre Duret-Lutz's avatar
    neverpase: fix parsing of neverclaim produced by ltl2ba and ltl3ba · 84c9f037
    Alexandre Duret-Lutz authored
    These translator may output guards such as (a) || (b), but with the
    changes in Spot 1.1.3 it would only work with ((a) || (b)).
    
    Furthermore when ltlcross would fail to parse a neverclaim containing
    such a guard, it would fail to parse all later neverclaims, because
    the lexer was not properly reset.
    
    * src/neverparse/neverclaimscan.ll: Scan (a) || (b) as a single
    token.
    (neverclaimyyopen): Reset the lexer.
    * src/tgbatest/neverclaimread.test: Add a test for (a) || (b).
    * NEWS: Update.
    84c9f037
To find the state of this project's repository at the time of any of these versions, check out the tags.