Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix memory leak
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 5 Oct 2013 10:24:21 +0000 (12:24 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 5 Oct 2013 12:58:47 +0000 (14:58 +0200)
commit16a2fca649e5b65ce893382045d4cda861f43e4e
tree239810cbb6c570858a8b396b05d04667e68c4fe6
parentaf37805170a045ee594a2215a22dc9633f5386ed
model-checker : fix memory leak
src/xbt/mmalloc/mm_diff.c