Rework the doc of model-check/replay, and add an example with sthread

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

diff --git a/examples/smpi/mc/hostfile_bugged1 b/examples/smpi/mc/hostfile_bugged1
index b6d1c07b45e0e8ac38f9763fcf97b1921351049c..edbbeb83124dce0a8d5a92824507c4175229867e 100644 (file)
--- a/examples/smpi/mc/hostfile_bugged1
+++ b/examples/smpi/mc/hostfile_bugged1
@@ -1,3 +1,3 @@
-c-1.me
-c-2.me
-c-3.me
+node-1.simgrid.org
+node-2.simgrid.org
+node-3.simgrid.org