test: fix canForceRemoveMarket verif

morpho-org · Aug 12, 2024 · 5e71fa8 · 5e71fa8
1 parent b06cbdc
commit 5e71fa8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/certora/specs/Liveness.spec b/certora/specs/Liveness.spec
@@ -56,6 +56,8 @@ rule canForceRemoveMarket(MetaMorphoHarness.MarketParams marketParams) {
     requireInvariant timelockInRange();
     // Safe require as it corresponds to some time very far into the future.
     require e3.block.timestamp < 2^63;
+    // Safe require as it corresponds to some time very far into the past.
+    require e3.block.timestamp > 0;
     submitMarketRemoval@withrevert(e3, marketParams);
     assert !lastReverted;