Revert the timestamp change

cosmos · Nov 29, 2023 · 2d1a874 · 2d1a874
1 parent 4238978
commit 2d1a874
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/tests/difference/core/quint_model/ccv.qnt b/tests/difference/core/quint_model/ccv.qnt
@@ -808,7 +808,7 @@ module ccv {
             val sentVscPacketsToConsumer = providerState.sentVscPacketsToConsumer.get(consumer)
             if(sentVscPacketsToConsumer.length() > 0) {
                 val oldestSentVscPacket = sentVscPacketsToConsumer.head() // if length is 0, this is undefined, but we check for this before we use it
-                if(oldestSentVscPacket.sendingTime + VscTimeout < providerState.chainState.lastTimestamp) {
+                if(oldestSentVscPacket.sendingTime + VscTimeout < providerState.chainState.runningTimestamp) {
                     (true, "")
                 } else {
                     // no timeout yet, it has not been VscTimeout since that packet was sent

diff --git a/tests/difference/core/quint_model/ccv_model.qnt b/tests/difference/core/quint_model/ccv_model.qnt
@@ -619,7 +619,7 @@ module ccv_model {
             EndAndBeginBlockForProvider(VscTimeout + 1 * Second, Set(), Set())
         )
         .then(
-            // end a block with the advanced time
+            // eenter the advanced time on chain
             EndAndBeginBlockForProvider(1 * Second, Set(), Set())
         )
         .then(