model-checker : new functions to compare mmalloc in std_heap

[simgrid.git] / src / xbt / mmalloc / mmprivate.h

diff --git a/src/xbt/mmalloc/mmprivate.h b/src/xbt/mmalloc/mmprivate.h
index a84d175..28dea9d 100644 (file)
--- a/src/xbt/mmalloc/mmprivate.h
+++ b/src/xbt/mmalloc/mmprivate.h
@@ -267,6 +267,10 @@ struct mdesc {
 
 };
 
+int mmalloc_compare_heap(void *h1, void *h2);
+
+int mmalloc_compare_mdesc(struct mdesc *mdp1, struct mdesc *mdp2);
+
 /* Bits to look at in the malloc descriptor flags word */
 
 #define MMALLOC_DEVZERO                (1 << 0)        /* Have mapped to /dev/zero */