Start refactoring keys of sentVscPackets map

cosmos · Jan 26, 2024 · 9376e2b · 9376e2b
1 parent 5eb1ae5
commit 9376e2b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/tests/mbt/model/ccv_model.qnt b/tests/mbt/model/ccv_model.qnt
@@ -443,7 +443,7 @@ module ccv_model {
     val CanSendVscPackets =
         not(ConsumerChains.exists(
             consumer => 
-                currentState.providerState.outstandingPacketsToConsumer.get(consumer).length() > 0
+                currentState.providerState.outstandingPacketsToConsumer.getOrElse(consumer, List()).length() > 0
         ))
 
     val CanReceiveVscPackets =

diff --git a/tests/mbt/model/ccv_utils.qnt b/tests/mbt/model/ccv_utils.qnt
@@ -409,6 +409,9 @@ module ccv_utils {
         status == RUNNING
     }
 
+    // Returns the set of all consumer chains.
+    pure def GetConsumers(providerState: ProviderState): Set[Chain] = providerState.consumerStatus.keys()
+
     // Returns the set of all consumer chains that currently have the status RUNNING.
     pure def getRunningConsumers(providerState: ProviderState): Set[Chain] = {
         providerState.consumerStatus.keys().filter(