-
Alexandre Duret-Lutz authored
* src/ltlast/binop.cc: a M b is eventual if both a and b are eventual, or if b == 1. a W b is universal if both a and b are universal or if b == 0. * src/ltltest/kind.test: New test case.
cd9369c1
* src/ltlast/binop.cc: a M b is eventual if both a and b are eventual, or if b == 1. a W b is universal if both a and b are universal or if b == 0. * src/ltltest/kind.test: New test case.