• Alexandre Duret-Lutz's avatar
    fix unabbreviate · e1ddf978
    Alexandre Duret-Lutz authored
    This is a bug:
    
        % ltlfilt -f 'a W b' --unabbreviate=WR
        a U (b | (a W b))
    
    * src/tl/unabbrev.cc: Here.
    * src/tests/unabbrevwm.test: Harden test case.
    * wrap/python/tests/randltl.ipynb: Adjust expected output.
    * NEWS: Mention the fix.
    e1ddf978
To find the state of this project's repository at the time of any of these versions, check out the tags.