Add empty-list-handling to inv

cosmos · Jan 26, 2024 · 5eb1ae5 · 5eb1ae5
1 parent bbfd38b
commit 5eb1ae5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/mbt/model/ccv_model.qnt b/tests/mbt/model/ccv_model.qnt
@@ -399,7 +399,7 @@ module ccv_model {
     val EventuallyMatureOnProviderInv =
         runningConsumers.forall(
             consumer => {
-                val sentPackets = currentState.providerState.sentVscPacketsToConsumer.get(consumer).toSet()
+                val sentPackets = currentState.providerState.sentVscPacketsToConsumer.getOrElse(consumer, List()).toSet()
                 sentPackets.forall(
                     packet =>
                         // consumer still has time to respond