search

morpho-org / morpho-blue-irm

Morpho Blue Interest Rate Models
https://morpho.org
MIT License
26 stars 17 forks source link

[Certora] Unchecked #19

Closed QGarchery closed 1 year ago

QGarchery commented 1 year ago

Check that the unchecked block does not prevent any revert in MathLib.wExp

QGarchery commented 1 year ago

Closing because not planned for now