model-checker : update example bugged1_liveness (variable for each task created and...

[simgrid.git] / examples / msg / properties / deployment_properties.xml

diff --git a/examples/msg/properties/deployment_properties.xml b/examples/msg/properties/deployment_properties.xml
index 6c9823025c1dfee3d83854c1d5b3fcc9a21ba8bc..54e735b5f3763d2d292ccf962ca61d9ce1885422 100644 (file)
--- a/examples/msg/properties/deployment_properties.xml
+++ b/examples/msg/properties/deployment_properties.xml
@@ -7,4 +7,6 @@
   <process host="host1" function="bob">
     <prop id="SomeProp" value="SomeValue"/>
   </process>
+  
+  <process host="host2" function="carole" />
 </platform>