Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Certora] Equivalent input of liquidate #659

Merged
merged 15 commits into from
Feb 20, 2024
Merged
Prev Previous commit
Next Next commit
chore: remove special setting for Health
QGarchery committed Feb 20, 2024

Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.
commit 20d6f9c9a79fbfc5978553c493c95b226877bda0
4 changes: 0 additions & 4 deletions certora/confs/Health.conf
Original file line number Diff line number Diff line change
@@ -7,10 +7,6 @@
"rule_sanity": "basic",
"prover_args": [
"-smt_hashingScheme plaininjectivity",
"-adaptiveSolverConfig false",
"-smt_nonLinearArithmetic false",
"-smt_easy_LIA true",
"-timeout 3600",
],
"server": "production",
"msg": "Morpho Blue Health"