fix: missing supplyCap call

morpho-org · Jan 10, 2024 · e07bfad · e07bfad
1 parent 5d40fb7
commit e07bfad
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/certora/specs/Reverts.spec b/certora/specs/Reverts.spec
@@ -115,6 +115,8 @@ rule submitCapInputValidation(env e, MetaMorphoHarness.MarketParams marketParams
     uint256 removableAt;
     supplyCap, _, removableAt = config(id);
 
+    submitCap@withrevert(e, marketParams, newSupplyCap);
+
     assert marketParams.loanToken != asset ||
            lastUpdate == 0 ||
            pendingCapValidAt != 0 ||