pingpong: increased NumberOfPings to make the example case a bit more…

… interesting
eras · Nov 6, 2022 · 4bee5a9 · 4bee5a9
1 parent ab21fbe
commit 4bee5a9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/pingpong.cfg b/examples/pingpong.cfg
@@ -1,6 +1,6 @@
 SPECIFICATION Spec
 CONSTANT NumberOfClients=2
-CONSTANT NumberOfPings=2
+CONSTANT NumberOfPings=4
 INVARIANT TypeOK
 INVARIANT NotFinished
 ALIAS AliasMessages