Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : block 0 (mdp->heapinfo[0]) removed in comparison of heap in mmalloc_c...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 6 Dec 2011 14:14:45 +0000 (15:14 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 6 Dec 2011 14:14:45 +0000 (15:14 +0100)
commit2c61d0431237f51865b824c36dcb8d124d5d6589
tree9d537146b4a2deeaec6158cdc8166cc828a0d98a
parentc077c049071b36c016da33dfe14a6b06d8eb3cca
model-checker : block 0 (mdp->heapinfo[0]) removed in comparison of heap in mmalloc_compare_mdesc
src/xbt/mmalloc/mm_legacy.c