model-checker : add comments for the example bugged2_liveness

[simgrid.git] / examples / msg / suspend / deployment_suspend.xml

<?xml version='1.0'?>
<!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
<platform version="3">
  <process host="Jacquelin" function="dream_master"/>
</platform>