Fix the communication optimization.

[simgrid.git] / teshsuite / mc / mutex-handling / mutex-handling_d.xml

diff --git a/teshsuite/mc/mutex-handling/mutex-handling_d.xml b/teshsuite/mc/mutex-handling/mutex-handling_d.xml
index e656348..f1325de 100644 (file)
--- a/teshsuite/mc/mutex-handling/mutex-handling_d.xml
+++ b/teshsuite/mc/mutex-handling/mutex-handling_d.xml
@@ -1,7 +1,11 @@
 <?xml version='1.0'?>
 <!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid/simgrid.dtd">
 <platform version="4">
-  <process host="Disney" function="receiver"/>
-  <process host="Jill" function="sender">   <argument value="X"/>  </process>
-  <process host="UNIX" function="sender">   <argument value="Y"/>  </process>
+  <process host="Tremblay" function="receiver"/>
+  <process host="Boivin" function="sender">
+    <argument value="X"/>
+  </process>
+  <process host="Fafard" function="sender">
+    <argument value="Y"/>
+  </process>
 </platform>