From 9002b58078f72d95a7c56d9d774f108195c6e706 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Wed, 3 Apr 2013 15:56:28 +0200 Subject: [PATCH] model-checker : display address of communication in Wait request if verbose log --- examples/msg/mc/chord/chord_liveness.h | 6 ------ src/mc/mc_request.c | 2 +- 2 files changed, 1 insertion(+), 7 deletions(-) delete mode 100644 examples/msg/mc/chord/chord_liveness.h diff --git a/examples/msg/mc/chord/chord_liveness.h b/examples/msg/mc/chord/chord_liveness.h deleted file mode 100644 index e522b77e32..0000000000 --- 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 f92580b157..95b4b9ec71 100644 --- 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); -- 2.20.1