Skip to content
  • Alexandre Duret-Lutz's avatar
    simplify: fix 3 incorrect simplification rules · 48471b51
    Alexandre Duret-Lutz authored
    * src/ltlvisit/simplify.cc: Remove two incorrect rules, and
    partially disable another one.
    * doc/tl/tl.tex: Reflect the change.
    * src/ltltest/reduccmp.test: Likewise.
    * src/ltltest/equals.cc: Add safety checks to catch such errors in the
    future.
    * NEWS: Mention the bug.
    48471b51