src/main/scala/leon/solvers/z3/FairZ3Component.scala · 74aba11fbb8e7b09a5d0c636efb80334132e3c12 · LARA / inox · GitLab

Snippets Groups Projects

10 years ago
85505865
Add --assumpre option to assume the precondition when unfolding · 85505865
Etienne Kneuss authored 10 years ago
```
Implies(pre, f(x) = body)

becomes, with (--assumepre):

And(pre, f(x) = body)
```
85505865

History
Add --assumpre option to assume the precondition when unfolding
Etienne Kneuss authored 10 years ago
```
Implies(pre, f(x) = body)

becomes, with (--assumepre):

And(pre, f(x) = body)
```