Remove the stateful model-checking from the archive. It's not working anymore

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

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