From 8bda55c18efe5d60be1d49937e1869b4588c2b2f Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Wed, 2 Nov 2011 14:37:57 +0100 Subject: [PATCH] model-checker : add or remove debug information --- src/xbt/dynar.c | 2 +- src/xbt/mmalloc/mm_legacy.c | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/src/xbt/dynar.c b/src/xbt/dynar.c index b5468e3b9f..6422e53dd7 100644 --- a/src/xbt/dynar.c +++ b/src/xbt/dynar.c @@ -331,7 +331,7 @@ XBT_INLINE unsigned long xbt_dynar_length(const xbt_dynar_t dynar) return (dynar ? (unsigned long) dynar->used : (unsigned long) 0); } -/**@brief check if a dynar is empty + /**@brief check if a dynar is empty * *\param dynar the dynat we want to check */ diff --git a/src/xbt/mmalloc/mm_legacy.c b/src/xbt/mmalloc/mm_legacy.c index 216babd93c..00fb84b954 100644 --- a/src/xbt/mmalloc/mm_legacy.c +++ b/src/xbt/mmalloc/mm_legacy.c @@ -363,6 +363,7 @@ int mmalloc_compare_mdesc(struct mdesc *mdp1, struct mdesc *mdp2){ XBT_DEBUG("Different size of a large cluster"); return 1; }else{ + XBT_DEBUG("Block : %Zu", i); if(memcmp(addr_block1, addr_block2, (mdp1->heapinfo[i].busy.info.size * BLOCKSIZE)) != 0){ XBT_DEBUG("Different data in block %Zu", i); return 1; -- 2.20.1