Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : comment erroneous ignore (not completely sure ...)
[simgrid.git] / examples / msg / mc / deploy_bugged1_liveness.xml
1 <?xml version='1.0'?>
2
3 <!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
4
5 <platform version="3">
6
7   <process host="Tremblay" function="coordinator" />
8
9   <process host="Boivin" function="client" >
10     <argument value="1"/>
11   </process>
12
13   <process host="Fafard" function="client" >
14     <argument value="2"/>
15   </process>
16
17 </platform>