-
Alexandre Duret-Lutz authored
* src/ltlvisit/simplify.cc (ltl_simplifier): Since we are processing the formula bottom-up, don't assume all trivial simplification have been done. * src/ltltest/reduccmp.test: More tests.
ca686cb0
* src/ltlvisit/simplify.cc (ltl_simplifier): Since we are processing the formula bottom-up, don't assume all trivial simplification have been done. * src/ltltest/reduccmp.test: More tests.