test: readd assumption in smallerPendingTimelock

morpho-org · Aug 12, 2024 · 508ca77 · 508ca77
1 parent aa338bb
commit 508ca77
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/certora/specs/PendingValues.spec b/certora/specs/PendingValues.spec
@@ -26,6 +26,7 @@ invariant smallerPendingTimelock()
 {
     preserved with (env e) {
         requireInvariant pendingTimelockInRange();
+        requireInvariant timelockInRange();
         // Safe require as it corresponds to some time very far into the past.
         require e.block.timestamp > 0;
     }