Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : init equal_to field to -1 for each allocated block/fragment at the...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 16 Aug 2012 22:13:52 +0000 (00:13 +0200)
committershenshei <paul.bedaride@gmail.com>
Tue, 27 Nov 2012 17:23:28 +0000 (18:23 +0100)
commit3f4a50f04ddac4e719a260e77bc5f88f88c8ea64
tree0e326d7212bed0a32f80738fec9d81274b34adcf
parent982b71db436b5e176fa75bc3d8a05b339c57717c
model-checker : init equal_to field to -1 for each allocated block/fragment at the beginning of the heap comparison
src/xbt/mmalloc/mm_diff.c