Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : some cleanup in mmalloc_compare_heap (free memory, delete unnecessary...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 10 Jan 2013 17:02:24 +0000 (18:02 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 10 Jan 2013 17:07:12 +0000 (18:07 +0100)
commit0a8e6e02b1e79ff96a8d707fa432c5df71213882
tree19068971cbe9d537e7f5aca3bd572c136bf412be
parenta9c758e95a17758177775c1b6ad617edb4a923b1
model-checker : some cleanup in mmalloc_compare_heap (free memory, delete unnecessary code)
src/xbt/mmalloc/mm_diff.c