Merge branch 'master' into fix/execute_benched

[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..d6eb805 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>
+<platform version="4.1">
+  <actor host="Tremblay" function="receiver"/>
+  <actor host="Boivin" function="sender">
+    <argument value="X"/>
+  </actor>
+  <actor host="Fafard" function="sender">
+    <argument value="Y"/>
+  </actor>
 </platform>