Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : take snapshot of memory segments during the parsing of /proc/self...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 30 May 2013 13:35:10 +0000 (15:35 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 30 May 2013 13:35:10 +0000 (15:35 +0200)
commit756c7ab76ef93154efb6309c192763c2ac241928
treebb6da3bb8ff60cb4e7322035c79c0ca7e844b392
parent86942626354f3a1b1df9404a9324a9dbfb955c9a
model-checker : take snapshot of memory segments during the parsing of /proc/self/maps
src/mc/mc_checkpoint.c