Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove comparison of heapstats between two snapshots
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 30 Nov 2011 17:15:44 +0000 (18:15 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 30 Nov 2011 17:47:51 +0000 (18:47 +0100)
commit475b99f1d2861cfe07f94e5c7eef5d07e2aed720
treee25a1979d4e523326ea133afc3bbd38cb933f9e4
parentc912b7d6e75473bd05731ccf77f3e2d82afb7802
model-checker : remove comparison of heapstats between two snapshots
src/xbt/mmalloc/mm_legacy.c