Merge branch 'master' into depencencies

[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 e65634823b40d69e19f67ed435b801bc09a46dde..aad5411cf269dd62f6352e5b644354415a6f5aac 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>
+<!DOCTYPE platform SYSTEM "https://simgrid.org/simgrid.dtd">
+<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>