Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix memory leak
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 1 Oct 2013 12:26:16 +0000 (14:26 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 1 Oct 2013 12:26:16 +0000 (14:26 +0200)
commit2cf2a1f3bce79e33ead868b6ed3575b0bb332ef2
tree6c5ec0740ee01ea1fd60f375e38b73525ccf612a
parent6fc9b4f557c9d004ef9976e34e22d56ed8b19b1b
model-checker : fix memory leak
src/xbt/mmalloc/mm_diff.c