From 5fecff12d864f2f779734b9880071bed50cb4d36 Mon Sep 17 00:00:00 2001
From: Philip Offtermatt <p.offtermatt@gmail.com>
Date: Fri, 8 Dec 2023 11:00:00 +0100
Subject: [PATCH] Address comments

---
 tests/mbt/model/ccv_model.qnt | 19 +++++++------------
 1 file changed, 7 insertions(+), 12 deletions(-)

diff --git a/tests/mbt/model/ccv_model.qnt b/tests/mbt/model/ccv_model.qnt
index 6368644014..c1d91ca796 100644
--- a/tests/mbt/model/ccv_model.qnt
+++ b/tests/mbt/model/ccv_model.qnt
@@ -196,7 +196,7 @@ module ccv_model {
         all {
             runningConsumers.size() > 0, // ensure there is a running consumer, otherwise this action does not make sense
             nondet receiver = oneOf(runningConsumers)
-            DeliverVscPacket(recciver),
+            DeliverVscPacket(receiver),
         },
     }
 
@@ -249,18 +249,13 @@ module ccv_model {
             (res, pack) => if(res.sendingTime >= pack.sendingTime) { res } else { pack }
         )
 
-    // run maxByTest =
-    // all {
-    //   assert(maxBy(Set(1, 2, 3), __x => __x) == 3),
-    //   assert(maxBy(Set(1, 2, 3), __x => -__x) == 1),
-    // }
     run earliestLatestTest = {
-    val packet1 = {
-            id: 1,
-            validatorSet: Map(),
-            sendingTime: 1 * Second,
-            timeoutTime: 1 * Second,
-        }
+        val packet1 = {
+                id: 1,
+                validatorSet: Map(),
+                sendingTime: 1 * Second,
+                timeoutTime: 1 * Second,
+            }
 
         val packet2 = {
             id: 2,