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 3581df4c5b2520c517f137ae0e82c9232cd1f364..e2c1eed1f24246a22c736ff1694fc741cc14cd94 100644 (file)
--- a/teshsuite/simdag/platforms/one_cluster.xml
+++ b/teshsuite/simdag/platforms/one_cluster.xml
@@ -1,6 +1,6 @@
 <?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.00" bw="125000000.00" lat="5e-5"