Fix more sonar things

[simgrid.git] / examples / cpp / mc-electric-fence / s4u-mc-electric-fence.tesh

diff --git a/examples/cpp/mc-electric-fence/s4u-mc-electric-fence.tesh b/examples/cpp/mc-electric-fence/s4u-mc-electric-fence.tesh
index f86c4a992d0f30b9d9d25c2a47ee72e8b89a4b1b..011b0c1912a8c8fcacb7a9ef79b7f6659483a7c6 100644 (file)
--- a/examples/cpp/mc-electric-fence/s4u-mc-electric-fence.tesh
+++ b/examples/cpp/mc-electric-fence/s4u-mc-electric-fence.tesh
@@ -12,4 +12,4 @@ $ ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/s4u-mc-electric-fence ${plat
 > [0.000000] [mc_safety/INFO] No property violation found.
 > [0.000000] [mc_safety/INFO] Expanded states = 15
 > [0.000000] [mc_safety/INFO] Visited states = 32
-> [0.000000] [mc_safety/INFO] Executed transitions = 27
+> [0.000000] [mc_safety/INFO] Executed transitions = 14