morpho-org / metamorpho

MetaMorpho
https://morpho.org
Other
53 stars 26 forks source link

[Certora] Reverts #390

Closed QGarchery closed 9 months ago

QGarchery commented 10 months ago

This PRs goal is to verify the condition in which inputs are not valid. In certain case the rule is called *RevertCondition instead of *InputValidation because we are able to specify all the revert conditions simply