model-checker : add example (electric_fence) to check the soundness of the verificati...

[simgrid.git] / examples / msg / mc / deploy_electric_fence.xml

diff --git a/examples/msg/mc/deploy_random_test.xml b/examples/msg/mc/deploy_electric_fence.xml
similarity index 71%
rename from examples/msg/mc/deploy_random_test.xml
rename to examples/msg/mc/deploy_electric_fence.xml
index 31415a5..3fd4d5a 100644 (file)
--- a/examples/msg/mc/deploy_random_test.xml
+++ b/examples/msg/mc/deploy_electric_fence.xml
@@ -4,14 +4,10 @@
   <process host="HostA" function="server">
     <argument value="0"/>
   </process>
-  <process host="HostB" function="server">
-    <argument value="0"/>
-  </process>
-
-<!--  <process host="HostB" function="client">
+  <process host="HostB" function="client">
     <argument value="1"/>
   </process>  
   <process host="HostC" function="client">
     <argument value="2"/>
-  </process> -->
+  </process>
 </platform>