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

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

diff --git a/examples/smpi/mc/hostfile_bugged1_liveness b/examples/smpi/mc/hostfile_bugged1_liveness
deleted file mode 100644 (file)
index edbbeb8..0000000
--- a/examples/smpi/mc/hostfile_bugged1_liveness
+++ /dev/null
@@ -1,3 +0,0 @@
-node-1.simgrid.org
-node-2.simgrid.org
-node-3.simgrid.org