Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : get bytes used in std_heap instead of chunks used
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 30 Jan 2013 16:18:01 +0000 (17:18 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 31 Jan 2013 23:45:34 +0000 (00:45 +0100)
commitd013cec453ee914baf3c62275ea2042c41e7c270
treeaf45d66522eaf75505c4a19b91755efd3666f4f4
parent22b764391c906f9c6974dfa7220be455ba6ed8c5
model-checker : get bytes used in std_heap instead of chunks used
include/xbt/mmalloc.h
src/mc/mc_checkpoint.c
src/mc/mc_compare.c
src/mc/mc_dpor.c
src/mc/mc_private.h
src/xbt/mmalloc/mm_module.c