From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Wed, 2 Nov 2011 13:37:57 +0000 (+0100)
Subject: model-checker : add or remove debug information
X-Git-Tag: exp_20120216~133^2~53
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/8bda55c18efe5d60be1d49937e1869b4588c2b2f

model-checker : add or remove debug information
---

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;