-
Alexandre Duret-Lutz authored
* src/ltlvisit/simplify.cc (syntactic_implication_aux): Refine rules to deal with pure eventualities and purely universal properties. * src/ltltest/reduccmp.test: Add tests.
2f036493
* src/ltlvisit/simplify.cc (syntactic_implication_aux): Refine rules to deal with pure eventualities and purely universal properties. * src/ltltest/reduccmp.test: Add tests.