From 2d1a874dc2d7d6381196d25870b6a827a8360bfd Mon Sep 17 00:00:00 2001
From: Philip Offtermatt <p.offtermatt@gmail.com>
Date: Wed, 29 Nov 2023 15:32:24 +0100
Subject: [PATCH] Revert the timestamp change

---
 tests/difference/core/quint_model/ccv.qnt       | 2 +-
 tests/difference/core/quint_model/ccv_model.qnt | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/difference/core/quint_model/ccv.qnt b/tests/difference/core/quint_model/ccv.qnt
index c8b6db577a..e324d734a1 100644
--- 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
index 444ecc0f3e..750ae20792 100644
--- 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(