From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Mon, 18 Jun 2012 15:58:44 +0000 (+0200)
Subject: model-checker : add debug messages
X-Git-Tag: v3_8~570
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/d11fe858c6f9521aca252c720720a19efa4a8945

model-checker : add debug messages
---

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++;
 		}
 	      }