2 <!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
5 <config id="example config">
6 <prop id="tracing/uncategorized" value="yes"/>
7 <prop id="tracing/buffer" value="yes"/>
8 <prop id="tracing" value="yes"/>
9 <prop id="viva/categorized" value="tracing/ms.cat.plist"/>
10 <prop id="tracing/filename" value="tracing/ms.trace"/>
11 <prop id="viva/uncategorized" value="tracing/ms.uncat.plist"/>
12 <prop id="tracing/categorized" value="yes"/>
15 <include file="tracing/platform-as.xml"/>