Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Some MSG examples mainly useful to test the model-checker
[simgrid.git] / examples / msg / mc / deploy_bugged2.xml
1 <?xml version='1.0'?>
2 <!DOCTYPE platform SYSTEM "simgrid.dtd">
3 <platform version="2">
4   <process host="HostA" function="server">
5     <argument value="0"/>
6   </process>
7   <process host="HostB" function="client">
8     <argument value="1"/>
9   </process>  
10   <process host="HostC" function="client">
11     <argument value="2"/>
12   </process>
13 </platform>