Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : free pointer
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 2 Jun 2012 15:03:35 +0000 (17:03 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 2 Jun 2012 15:03:35 +0000 (17:03 +0200)
commit88168b957045f56cd9b75acd0aeb17e6f6fa8035
tree8ba3410a9d3ba64be4914acd55e95d1f4c56fed6
parent5ff7a0f00eab7d7005451ad66f517ac9c4bfd68a
model-checker : free pointer
src/xbt/mmalloc/mm_diff.c