model-checker : cleanups in tesh examples

[simgrid.git] / examples / msg / mc / chord / deploy_chord.xml

diff --git a/examples/msg/mc/chord/deploy_chord.xml b/examples/msg/mc/chord/deploy_chord.xml
new file mode 100644 (file)
index 0000000..f03b06b
--- /dev/null
+++ b/examples/msg/mc/chord/deploy_chord.xml
@@ -0,0 +1,32 @@
+<?xml version='1.0'?>
+<!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
+<platform version="3">
+ 
+  <process host="Jean_Yves" function="node">
+    <argument value="6"/>        <!-- my id -->
+    <argument value="16"/>         <!-- known id -->
+    <argument value="300"/>        <!-- time to sleep before it starts-->
+    <argument value ="600"/>           <!-- deadline -->
+  </process>
+  
+  <process host="Boivin" function="node">
+    <argument value="10"/>         <!-- my id -->
+    <argument value="16"/>         <!-- known id -->
+    <argument value="300"/>         <!-- time to sleep before it starts-->
+    <argument value ="600"/>           <!-- deadline -->
+  </process>
+
+  <process host="TeX" function="node">
+    <argument value="8"/>         <!-- my id -->
+    <argument value="16"/>         <!-- known id -->
+    <argument value="100"/>         <!-- time to sleep before it starts-->
+    <argument value ="600"/>           <!-- deadline -->
+  </process>
+
+  <process host="Jacquelin" function="node">
+    <argument value="16"/>         <!-- my id -->
+    <argument value ="600"/>             <!-- deadline -->
+  </process>
+
+
+</platform>