model-checker : fix platform file path in tesh examples

[simgrid.git] / examples / msg / mc / bugged2_liveness.c

diff --git a/examples/msg/mc/bugged2_liveness.c b/examples/msg/mc/bugged2_liveness.c
index fb7c2d8..26f2b31 100644 (file)
--- a/examples/msg/mc/bugged2_liveness.c
+++ b/examples/msg/mc/bugged2_liveness.c
@@ -35,7 +35,6 @@ int coordinator(int argc, char *argv[])
         XBT_INFO("CS already used.");
         msg_task_t answer = MSG_task_create("not grant", 0, 1000, NULL);
         MSG_task_send(answer, req);
-        MC_compare();
       } else {                  // can serve it immediatly
         XBT_INFO("CS idle. Grant immediatly");
         msg_task_t answer = MSG_task_create("grant", 0, 1000, NULL);
@@ -56,7 +55,7 @@ int coordinator(int argc, char *argv[])
 int client(int argc, char *argv[])
 {
   int my_pid = MSG_process_get_PID(MSG_process_self());
-  char *my_mailbox = bprintf("%s", argv[1]);
+  char *my_mailbox = xbt_strdup(argv[1]);
   const char* kind;
  
   while(1){