[mc] ptrace the model-checker application

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

diff --git a/examples/smpi/mc/hostfile_bugged1_liveness b/examples/smpi/mc/hostfile_bugged1_liveness
index b6d1c07b45e0e8ac38f9763fcf97b1921351049c..4ae7dab5d60044380b4e8e5edf6c05a5646f417a 100644 (file)
--- a/examples/smpi/mc/hostfile_bugged1_liveness
+++ b/examples/smpi/mc/hostfile_bugged1_liveness
@@ -1,3 +1,3 @@
-c-1.me
-c-2.me
-c-3.me
+node-1.acme.org
+node-2.acme.org
+node-3.acme.org