model-checker : new files forgotten

[simgrid.git] / examples / smpi / mc / hostfile_non_termination

diff --git a/examples/smpi/mc/hostfile_non_termination b/examples/smpi/mc/hostfile_non_termination
new file mode 100644 (file)
index 0000000..ae28a97
--- /dev/null
+++ b/examples/smpi/mc/hostfile_non_termination
@@ -0,0 +1,2 @@
+node-1.acme.org
+node-2.acme.org
\ No newline at end of file