model-checker : add comments for the example bugged2_liveness

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

# sample action file (with only the actions for p1,
#                     to be launched by deployment file)
p0 init
p0 recv p1
p0 compute 12
p0 finalize