model-checker : comment erroneous ignore (not completely sure ...)

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

<?xml version='1.0'?>
 <!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
 <platform version="3">
 <AS  id="AS0"  routing="Full">
   <host id="Faulty Host" power="1Gf"
         state_file="faulty_host.trace"/>
   <host id="Safe Host" power="500Mf"/>
 </AS>
 </platform>