Skip to content
Find file Blame History Permalink
  • 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.