test(certora): timestamp conversion

codex-storage · Jan 16, 2025 · d99a897 · d99a897
1 parent 6cec720
commit d99a897
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/certora/specs/Marketplace.spec b/certora/specs/Marketplace.spec
@@ -48,8 +48,8 @@ hook Sstore currentContract._marketplaceTotals.sent uint256 defaultValue (uint25
 ghost uint64 lastBlockTimestampGhost;
 
 hook TIMESTAMP uint v {
-    require lastBlockTimestampGhost <= assert_uint64(v);
-    lastBlockTimestampGhost = assert_uint64(v);
+    require lastBlockTimestampGhost <= to_uint64(v);
+    lastBlockTimestampGhost = to_uint64(v);
 }
 
 ghost mapping(MarketplaceHarness.SlotId => mapping(Periods.Period => bool)) _missingMirror {