Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : heapinfo adresses refer to saved heap instead of current heap
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 10 Jul 2012 14:08:59 +0000 (16:08 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 10 Jul 2012 14:13:57 +0000 (16:13 +0200)
commit2486c9c9a421d4619d3667095f7cfe20de3e2788
tree6299c0f476ab52743a0f29f4fb554d3dbf4d3e8a
parent937375b4f9ce4ab483bd28af3e887a7a1655bcc3
model-checker : heapinfo adresses refer to saved heap instead of current heap
src/xbt/mmalloc/mm_diff.c