-
Etienne Kneuss authored
Implies(pre, f(x) = body) becomes, with (--assumepre): And(pre, f(x) = body)
Etienne Kneuss authoredImplies(pre, f(x) = body) becomes, with (--assumepre): And(pre, f(x) = body)
FairZ3Solver.scala 12.94 KiB
Implies(pre, f(x) = body) becomes, with (--assumepre): And(pre, f(x) = body)
Implies(pre, f(x) = body) becomes, with (--assumepre): And(pre, f(x) = body)