model-checker : add comments for the example bugged2_liveness

[simgrid.git] / examples / msg / icomms / small_platform.xml

diff --git a/examples/msg/icomms/small_platform.xml b/examples/msg/icomms/small_platform.xml
old mode 100755 (executable)
new mode 100644 (file)
index fb92722..ff4da7f
--- a/examples/msg/icomms/small_platform.xml
+++ b/examples/msg/icomms/small_platform.xml
@@ -1,18 +1,20 @@
 <?xml version='1.0'?>
-<!DOCTYPE platform SYSTEM "simgrid.dtd">
-<platform version="2">
-  <!-- ljlkj -->
-  <host id="Tremblay" power="98095000"/>
-  <host id="Ruby" power="98095000"/>
-  <host id="Perl" power="98095000"/>
-  <host id="Java" power="98095000"/>
-  <link id="1" bandwidth="498000000" latency="0.00015" sharing_policy="FATPIPE"/>
-  <link id="2" bandwidth="498000000" latency="0.00015" sharing_policy="FATPIPE"/>
-  <link id="3" bandwidth="498000000" latency="0.00015" sharing_policy="FATPIPE"/>
-  <route src="Tremblay" dst="Ruby"><link:ctn id="1"/></route>
-  <route src="Ruby" dst="Tremblay"><link:ctn id="1"/></route>
-  <route src="Tremblay" dst="Perl"><link:ctn id="2"/></route>
-  <route src="Perl" dst="Tremblay"><link:ctn id="2"/></route>
-  <route src="Tremblay" dst="Java"><link:ctn id="3"/></route>
-  <route src="Java" dst="Tremblay"><link:ctn id="3"/></route>
-</platform>
+ <!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
+ <platform version="3">
+ <AS  id="AS0"  routing="Full">
+   <!-- ljlkj -->
+   <host id="Tremblay" power="98095000"/>
+   <host id="Ruby" power="98095000"/>
+   <host id="Perl" power="98095000"/>
+   <host id="Java" power="98095000"/>
+   <link id="1" bandwidth="498000000" latency="0.00015" sharing_policy="FATPIPE"/>
+   <link id="2" bandwidth="498000000" latency="0.00015" sharing_policy="FATPIPE"/>
+   <link id="3" bandwidth="498000000" latency="0.00015" sharing_policy="FATPIPE"/>
+   <route src="Tremblay" dst="Ruby"><link_ctn id="1"/></route>
+   <route src="Ruby" dst="Tremblay"><link_ctn id="1"/></route>
+   <route src="Tremblay" dst="Perl"><link_ctn id="2"/></route>
+   <route src="Perl" dst="Tremblay"><link_ctn id="2"/></route>
+   <route src="Tremblay" dst="Java"><link_ctn id="3"/></route>
+   <route src="Java" dst="Tremblay"><link_ctn id="3"/></route>
+ </AS>
+ </platform>