model-checker : hash of regions in snapshot stored instead of all the data

[simgrid.git] / teshsuite / simdag / platforms / one_cluster.xml

diff --git a/teshsuite/simdag/platforms/one_cluster.xml b/teshsuite/simdag/platforms/one_cluster.xml
index 6640a1712337e4fc61e61d92ec8d95091fbc15c7..e2c1eed1f24246a22c736ff1694fc741cc14cd94 100644 (file)
--- a/teshsuite/simdag/platforms/one_cluster.xml
+++ b/teshsuite/simdag/platforms/one_cluster.xml
@@ -1,7 +1,9 @@
 <?xml version='1.0'?>
-<!DOCTYPE platform SYSTEM "simgrid.dtd">
-<platform version="2">
+<!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
+<platform version="3">
+<AS id="AS0" routing="Full">
   <cluster id="bob_cluster" prefix="bob" suffix=".hamburger.edu"
-   radical="0,2-4,6" power="1000000000" bw="125000000" lat="5E-5"
-   bb_bw="2250000000" bb_lat="5E-4"/>
+   radical="0,2-4,6" power="1000000000.00" bw="125000000.00" lat="5e-5"
+   bb_bw="2250000000.00" bb_lat="5e-4"/>
+</AS>
 </platform>