Skip to content
  • Alexandre Duret-Lutz's avatar
    Improve a reduction rule for "a M b". · 1878bfd0
    Alexandre Duret-Lutz authored
    * src/ltlvisit/reduce.cc (reduce_visitor): Always reduce "a M b"
    to "a & b" if "a" is a pure eventual formula, remove the
    constraint on "b".
    * src/ltltest/reduccmp.test: Add two tests.
    1878bfd0