-
Alexandre Duret-Lutz authored
* src/ltlast/binop.cc (binop::binop): Fix computation of syntactic guarantee and syntactic obligation for the Implies operator. Reported by Étienne Renault. * src/ltltest/kind.test: Add more tests.
54fd973a
* src/ltlast/binop.cc (binop::binop): Fix computation of syntactic guarantee and syntactic obligation for the Implies operator. Reported by Étienne Renault. * src/ltltest/kind.test: Add more tests.