-
Alexandre Duret-Lutz authored
* src/ltlvisit/mutation.cc: Do not bindly rewrite e[]->f and e<>->f as e, since e is not a valid PSL formula. Use !{e} and {e} instead. Also fix a memory leak in the handling of bunops, discovered while testing the previous change. * src/tests/ltlgrind.test: Add a test case.
f5521133