[mc] Basic infrastructure for a real model-checker process

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

diff --git a/examples/smpi/mc/hostfile_send_deterministic b/examples/smpi/mc/hostfile_send_deterministic
index b6d1c07..4ae7dab 100644 (file)
--- a/examples/smpi/mc/hostfile_send_deterministic
+++ b/examples/smpi/mc/hostfile_send_deterministic
@@ -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