Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : set size used to 0 when free fragment
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 8 Aug 2012 10:06:33 +0000 (12:06 +0200)
committershenshei <paul.bedaride@gmail.com>
Tue, 27 Nov 2012 17:21:44 +0000 (18:21 +0100)
commit982b71db436b5e176fa75bc3d8a05b339c57717c
tree0145cc6bf140216d6841a859969c2ce04d971731
parente8ed89789ab2870904fb7bffc272a862e3cca1bc
model-checker : set size used to 0 when free fragment
src/xbt/mmalloc/mfree.c