removed random seed in order to test result

[simgrid.git] / examples / platforms / faulty_host.xml

diff --git a/examples/platforms/faulty_host.xml b/examples/platforms/faulty_host.xml
index bcb382caa929d63fe7a979fd89e294555733f6d8..f6b94c313071906c0127c5e2108db15618657092 100644 (file)
--- a/examples/platforms/faulty_host.xml
+++ b/examples/platforms/faulty_host.xml
@@ -1,9 +1,9 @@
 <?xml version='1.0'?>
-<!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid/simgrid.dtd">
-<platform version="4">
-  <AS  id="AS0"  routing="Full">
-    <host id="Faulty Host" speed="1Gf" state_file="trace/faulty_host.trace"/>
+<!DOCTYPE platform SYSTEM "https://simgrid.org/simgrid.dtd">
+<platform version="4.1">
+  <zone  id="AS0"  routing="Full">
+    <host id="Faulty Host" speed="1Gf" state_file="profiles/faulty_host.profile"/>
     <host id="Safe Host" speed="500Mf"/>
-  </AS>
+  </zone>
 </platform>