Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : display backtrace for busy fragments in mmalloc_compare_heap
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 7 Mar 2012 17:28:54 +0000 (18:28 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 7 Mar 2012 17:28:54 +0000 (18:28 +0100)
commitdb2975c3997b641face3af432e536e17aafb33f3
tree83911d4f66fddb67114461bb5537f657a0bef459
parentbe39bc6772dfce92c2f753504537025b2e0670c6
model-checker : display backtrace for busy fragments in mmalloc_compare_heap
include/xbt/mmalloc.h
src/xbt/mmalloc/mm_diff.c