model-checker : create subdir for chord example with liveness model-checking

[simgrid.git] / examples / msg / mc / chord / chord_liveness.c

diff --git a/examples/msg/mc/chord_liveness.c b/examples/msg/mc/chord/chord_liveness.c
similarity index 99%
rename from examples/msg/mc/chord_liveness.c
rename to examples/msg/mc/chord/chord_liveness.c
index 14c5214..4856395 100644 (file)
--- a/examples/msg/mc/chord_liveness.c
+++ b/examples/msg/mc/chord/chord_liveness.c
@@ -942,7 +942,7 @@ int main(int argc, char *argv[])
   MSG_config("model-check/property","promela_chord_liveness");
   MC_automaton_new_propositional_symbol("join", &predJoin);
 
-  MSG_create_environment("../msg_platform.xml");
+  MSG_create_environment("../../msg_platform.xml");
 
   MSG_function_register("node", node);
   MSG_launch_application("deploy_chord_liveness.xml");