morpho-org / pre-liquidation

Other
3 stars 1 forks source link

[Certora] Verify expected reverts #26

Closed colin-morpho closed 1 month ago

colin-morpho commented 2 months ago

We wish to show that all the expected executions that should yield a revert, do so. Note, only invalid inputs can be checked which is that than ensuring that all inputs are valid.