model-checker : new tesh for snapshot comparison tests

[simgrid.git] / examples / msg / mc / deploy_bugged2.xml

<?xml version='1.0'?>
<!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
<platform version="3">
  <process host="HostA" function="server">
    <argument value="0"/>
  </process>
  <process host="HostB" function="client">
    <argument value="1"/>
  </process>  
  <process host="HostC" function="client">
    <argument value="2"/>
  </process>
</platform>