morpho-org / metamorpho

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

[Certora] Forced market removal independence #399

Closed QGarchery closed 9 months ago

QGarchery commented 9 months ago

The goal of this PR is to prove that a market can't be marked for removal and (have supply cap > 0 or have a pending cap). This is a useful property to make sure that there are no ambiguity as what will happen to that market in the future