Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : forget regions corresponding to libsimgrid for each snapshot
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 11 Oct 2012 14:55:34 +0000 (16:55 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 11 Oct 2012 14:55:53 +0000 (16:55 +0200)
commit8b730a1a7189b57671ec6ad97ae6a8f52e4b0eaf
tree32020d32dd47b244e5719b52092b3cbc88acc3be
parent78ebb5d5f3fad1cca66d0ecdfcfc879b253f8923
model-checker : forget regions corresponding to libsimgrid for each snapshot
src/mc/mc_checkpoint.c