model-checker : remove automatic activation of MC if a value of cfg flag about MC...

[simgrid.git] / examples / msg / actions / actions_split_p1.txt

diff --git a/examples/msg/actions/actions_split_p1.txt b/examples/msg/actions/actions_split_p1.txt
index 7f9d5cb170d20299898d3e3a9d1e0e4f48926f62..2c38b293c6c055d7259bed1a0e1a4a632c01be27 100644 (file)
--- a/examples/msg/actions/actions_split_p1.txt
+++ b/examples/msg/actions/actions_split_p1.txt
@@ -1,4 +1,6 @@
 # sample action file (with only the actions for p1,
 #                     to be launched by deployment file)
+p1 init
 p1 send p0 1e10
 p1 sleep 12
+p1 finalize