Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : comment backtrace and add ignore mechanism in mmalloc metadata
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 7 Jan 2013 12:56:08 +0000 (13:56 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 7 Jan 2013 12:56:08 +0000 (13:56 +0100)
commitc59fb90ea83ce58355bc388b1a5ebaef96420806
tree79dc799bb2c3d990aab6fe808ba5d103ab130d08
parent1a8e5af34045d9f65169ce4766b0131dfe7825f2
model-checker : comment backtrace and add ignore mechanism in mmalloc metadata
src/mc/mc_global.c
src/xbt/mmalloc/mfree.c
src/xbt/mmalloc/mm_diff.c
src/xbt/mmalloc/mmalloc.c
src/xbt/mmalloc/mmprivate.h