Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : close file /proc/self/maps at the end of get_memory_map
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 22 Nov 2011 19:46:15 +0000 (20:46 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 22 Nov 2011 19:46:15 +0000 (20:46 +0100)
commit98f48503f018605eda2b1afa1ff099a484810474
treee427863ffdbe8ccb9373a03288b28d7dbfb1aa87
parentedde8f7fbc1b74a81551bf9eb7bac1935b999296
model-checker : close file /proc/self/maps at the end of get_memory_map
src/mc/memory_map.c