Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : assert on block/fragment address in heap comparison algorithm
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 18 Jun 2012 15:39:10 +0000 (17:39 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 18 Jun 2012 16:07:19 +0000 (18:07 +0200)
commit4ff5af63978e7be02245b942faa818520488ed71
tree6486db3286f0c1cf529348aae971c3708cdd83c1
parent8b5a3bd2ffa7cff8ae4b0d67cac8c49a22bc673e
model-checker : assert on block/fragment address in heap comparison algorithm
src/xbt/mmalloc/mm_diff.c