Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : more debug informations in function mmalloc_compare_mdesc
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 29 Jan 2012 13:43:21 +0000 (14:43 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 29 Jan 2012 13:43:21 +0000 (14:43 +0100)
commit5e4e9f83ad19e0bae9c7fa0c779ce17ed4b3df4f
tree3b468ec0ecdbf4ca14575c676b28dccf598f9842
parentbdaaac614d1bb0ee8e034fa76862068d57e362ee
model-checker : more debug informations in function mmalloc_compare_mdesc
src/xbt/mmalloc/mm_legacy.c