-
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