Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : cleanups for heap comparison from global and local variables
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 24 Jan 2013 10:36:01 +0000 (11:36 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 25 Jan 2013 10:02:56 +0000 (11:02 +0100)
commit2de2be634908582c082f28ee99ebb337c57aa86e
treec272e9b5f0c152783b393b393c0f0c5f4aa7cc1f
parent931f8df48073275d32886390f5182c5b9663d5fd
model-checker : cleanups for heap comparison from global and local variables
include/xbt/mmalloc.h
src/mc/mc_compare.c
src/xbt/mmalloc/mm_diff.c