Reverify Cache.spec with LEQ

euler-xyz · Aug 8, 2024 · 738743e · 738743e
1 parent 1eb8324
commit 738743e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/certora/specs/Cache.spec b/certora/specs/Cache.spec
@@ -9,7 +9,7 @@ rule updateVault_no_unexpected_reverts {
     uint256 lastInterestAccUpd = getlastInterestAccumulatorUpdate(e);
 
     // assignment to deltaT 
-    require lastInterestAccUpd < e.block.timestamp;
+    require lastInterestAccUpd <= e.block.timestamp;
 
     // newTotalBorrows assigment, prevent divide by zero
     require getInterestAcc(e) > 0;