please sonar

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

diff --git a/examples/s4u/mc-electric-fence/s4u-mc-electric-fence.tesh b/examples/s4u/mc-electric-fence/s4u-mc-electric-fence.tesh
index 35b9790e5a8f6ae82cb65ed1a2e130273dbe95fc..f86c4a992d0f30b9d9d25c2a47ee72e8b89a4b1b 100644 (file)
--- a/examples/s4u/mc-electric-fence/s4u-mc-electric-fence.tesh
+++ b/examples/s4u/mc-electric-fence/s4u-mc-electric-fence.tesh
@@ -1,6 +1,6 @@
 #!/usr/bin/env tesh
 
-$ ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/s4u-mc-electric-fence platform.xml
+$ ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/s4u-mc-electric-fence ${platfdir}/model_checker_platform.xml
 > [0.000000] [mc_safety/INFO] Check a safety property. Reduction is: dpor.
 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK