From c45af580238fc29b20b3628a8b9ce09b985b2731 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Wed, 10 Oct 2012 14:34:34 +0200
Subject: [PATCH] commit my deployment for testing the model-checking of Chord

---
 examples/msg/chord/chord3.xml | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 examples/msg/chord/chord3.xml

diff --git a/examples/msg/chord/chord3.xml b/examples/msg/chord/chord3.xml
new file mode 100644
index 0000000000..b3856ee6f3
--- /dev/null
+++ b/examples/msg/chord/chord3.xml
@@ -0,0 +1,24 @@
+<?xml version='1.0'?>
+<!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
+<platform version="3">
+
+  <process host="Gatien" function="node">
+    <argument value="48"/>        <!-- my id -->
+    <argument value="1"/>         <!-- known id -->
+    <argument value="400"/>        <!-- time to sleep before it starts-->
+    <argument value ="600"/>		<!-- deadline -->
+  </process>
+
+  <process host="McGee" function="node">
+    <argument value="42"/>        <!-- my id -->
+    <argument value="1"/>         <!-- known id -->
+    <argument value="300"/>        <!-- time to sleep before it starts-->
+    <argument value ="600"/>		<!-- deadline -->
+  </process>
+
+  <process host="Jacquelin" function="node">
+    <argument value="1"/>         <!-- my id -->
+    <argument value ="600"/>		<!-- deadline -->
+  </process>
+
+</platform>
-- 
2.20.1