3 $ $VALGRIND_NO_TRACE_CHILDREN ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/s4u-mc-electric-fence ${platfdir}/model_checker_platform.xml
4 > [0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: dpor.
5 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
6 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
7 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
8 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
9 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
10 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
11 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
12 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
13 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
14 > [0.000000] [mc_dfs/INFO] DFS exploration ended. 26 unique states visited; 6 backtracks (8 transition replays, 40 states visited overall)
