model-checker : cleanups in tesh examples

[simgrid.git] / examples / msg / mc / chord / chord

diff --git a/examples/msg/mc/chord/chord b/examples/msg/mc/chord/chord
new file mode 100755 (executable)
index 0000000..91e6779
Binary files /dev/null and b/examples/msg/mc/chord/chord differ