From d11fe858c6f9521aca252c720720a19efa4a8945 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Mon, 18 Jun 2012 17:58:44 +0200 Subject: [PATCH] model-checker : add debug messages --- src/xbt/mmalloc/mm_diff.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/xbt/mmalloc/mm_diff.c b/src/xbt/mmalloc/mm_diff.c index 8aca355fc2..0f9cf3ded7 100644 --- a/src/xbt/mmalloc/mm_diff.c +++ b/src/xbt/mmalloc/mm_diff.c @@ -311,9 +311,11 @@ int mmalloc_compare_mdesc(struct mdesc *mdp1, struct mdesc *mdp2){ } }else{ + fprintf(stderr, "Pointers on blocks with different types \n"); distance++; } }else{ + fprintf(stderr, "Pointed address not in std_heap"); distance++; } @@ -426,9 +428,11 @@ int mmalloc_compare_mdesc(struct mdesc *mdp1, struct mdesc *mdp2){ } } }else{ + fprintf(stderr, "Pointers on blocks with different types \n"); distance++; } }else{ + fprintf(stderr, "Pointed address not in std_heap"); distance++; } } -- 2.20.1