model-checker : add or remove debug information

diff --git a/src/xbt/dynar.c b/src/xbt/dynar.c
index b5468e3..6422e53 100644 (file)
--- 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);
 }
 
   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
  */
  *
  *\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 216babd..00fb84b 100644 (file)
--- 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("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;
            if(memcmp(addr_block1, addr_block2, (mdp1->heapinfo[i].busy.info.size * BLOCKSIZE)) != 0){
              XBT_DEBUG("Different data in block %Zu", i);
              return 1;