A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
model-checker : add debug messages
[simgrid.git]
/
src
/
xbt
/
mmalloc
/
mm_diff.c
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++;
}
}