Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix detection of dangling pointers in system state comparison
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 29 Sep 2013 10:32:15 +0000 (12:32 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 29 Sep 2013 10:32:15 +0000 (12:32 +0200)
commitc128702f75d1981c4a082ae6e4630f614074ab6e
tree940bd25ae4c6d68f0d711c4742ad12f44b8c8f95
parent2aad2f9ce120b767be27c53e7d03b08a8e4e761f
model-checker : fix detection of dangling pointers in system state comparison
src/xbt/mmalloc/mm_diff.c