model-checker : add debug messages

diff --git a/src/xbt/mmalloc/mm_diff.c b/src/xbt/mmalloc/mm_diff.c
index 8aca355..0f9cf3d 100644 (file)
--- 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{
                  
              }
            }else{

+             fprintf(stderr, "Pointers on blocks with different types \n");

              distance++;
            }
          }else{
              distance++;
            }
          }else{

+           fprintf(stderr, "Pointed address not in std_heap");

            distance++;
          }
            
            distance++;
          }
            


@@ -426,9 +428,11 @@ int mmalloc_compare_mdesc(struct mdesc *mdp1, struct mdesc *mdp2){
                      }
                    }
                  }else{
                      }
                    }
                  }else{

+                   fprintf(stderr, "Pointers on blocks with different types \n");

                    distance++;
                  }
                }else{
                    distance++;
                  }
                }else{

+                 fprintf(stderr, "Pointed address not in std_heap");

                  distance++;
                }
              }
                  distance++;
                }
              }