model-checker : display address of communication in Wait request if verbose log

diff --git a/examples/msg/mc/chord/chord_liveness.h b/examples/msg/mc/chord/chord_liveness.h
deleted file mode 100644 (file)
index e522b77..0000000
--- a/examples/msg/mc/chord/chord_liveness.h
+++ /dev/null
@@ -1,6 +0,0 @@
-#ifndef _CHORD_LIVENESS_H
-#define _CHORD_LIVENESS_H
-
-int predJoin(void);
-
-#endif

diff --git a/src/mc/mc_request.c b/src/mc/mc_request.c
index f92580b..95b4b9e 100644 (file)
--- a/src/mc/mc_request.c
+++ b/src/mc/mc_request.c
@@ -195,7 +195,7 @@ char *MC_request_to_string(smx_simcall_t req, int value)
     if(value == -1){
       type = xbt_strdup("WaitTimeout");
       p = pointer_to_string(act);
-      args = bprintf("comm=%p", p);
+      args = bprintf("comm=%s", p);
     }else{
       type = xbt_strdup("Wait");
       p = pointer_to_string(act);