Adjust comment to fit actual time advancement

cosmos · Oct 12, 2023 · 3a03fcd · 3a03fcd
1 parent c7fe7c5
commit 3a03fcd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/difference/core/quint_model/ccv_statemachine.qnt b/tests/difference/core/quint_model/ccv_statemachine.qnt
@@ -482,7 +482,7 @@ module ccv_statemachine {
         )
         .then(
             // advance time on provider by VscTimeout + 1 Second
-            EndAndBeginBlockForProvider(VscTimeout + 5 * Second, Set(), Set())
+            EndAndBeginBlockForProvider(VscTimeout + 1 * Second, Set(), Set())
         )
         .then(
             all {