Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add backtrace for each fragment allocated with mmalloc
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 28 Feb 2012 09:29:50 +0000 (10:29 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 28 Feb 2012 09:29:50 +0000 (10:29 +0100)
commit60dfbf03645430333993376b5bc0f567ec417b38
treea89ab9233970385246e196432149f1e7d4da985f
parent8870e4a485d50ed72f249b345c8338dd6ef1b7f7
model-checker : add backtrace for each fragment allocated with mmalloc
src/xbt/mmalloc/mmalloc.c
src/xbt/mmalloc/mmprivate.h