From 5e71fa8d719f09d8c39ed2cbb38cb5e9d84d26f1 Mon Sep 17 00:00:00 2001
From: MathisGD <mathis@morpho.xyz>
Date: Mon, 12 Aug 2024 10:48:16 +0200
Subject: [PATCH] test: fix canForceRemoveMarket verif

---
 certora/specs/Liveness.spec | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/certora/specs/Liveness.spec b/certora/specs/Liveness.spec
index 27bf9cc9..54156f75 100644
--- 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;