Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : use statistics already included in heap struct for the comparison...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 9 Nov 2012 13:06:36 +0000 (14:06 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 9 Nov 2012 13:06:36 +0000 (14:06 +0100)
commitf8db3884110dda1330177a0b6b76a3dc47154244
tree5aee13ff70b21a708fb6ccf37f4298f2cd88d671
parentfe9136a55b6fb08018ff5500e7de1ba8e03caf9a
model-checker : use statistics already included in heap struct for the comparison of fragment/block used
src/xbt/mmalloc/mm_diff.c