model-checker : cleanups in tesh examples

[simgrid.git] / examples / msg / mc / chord_liveness / deploy_chord_liveness.xml

diff --git a/examples/msg/mc/chord_liveness/deploy_chord_liveness.xml b/examples/msg/mc/chord_liveness/deploy_chord_liveness.xml
deleted file mode 100644 (file)
index 2f87049..0000000
--- a/examples/msg/mc/chord_liveness/deploy_chord_liveness.xml
+++ /dev/null
@@ -1,24 +0,0 @@
-<?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="14"/>        <!-- my id -->
-    <argument value="1"/>         <!-- known id -->
-    <argument value="400"/>        <!-- time to sleep before it starts-->
-    <argument value ="600"/>           <!-- deadline -->
-  </process>
-  
-  <process host="Boivin" function="node">
-    <argument value="8"/>         <!-- 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>