From: Marion Guthmuller <marion.guthmuller@inria.fr>
Date: Wed, 30 Apr 2014 13:31:56 +0000 (+0200)
Subject: model-checker : disable mprotect on snapshots
X-Git-Tag: v3_12~956^2~34
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/72680ab46a46b8f1ae2dbfb56581968206f4e3b1

model-checker : disable mprotect on snapshots
---

diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c
index b443ed00df..eb4cfd348e 100644
--- a/src/mc/mc_checkpoint.c
+++ b/src/mc/mc_checkpoint.c
@@ -501,11 +501,11 @@ mc_snapshot_t MC_take_snapshot(int num_state){
     MC_dump_checkpoint_ignore(snapshot);
 
   // mprotect the region after zero-ing ignored parts:
-  size_t i;
+  /*size_t i;
   for(i=0; i!=NB_REGIONS; ++i) {
     mc_mem_region_t region = snapshot->regions[i];
     mprotect(region->data, region->size, PROT_READ);
-  }
+    }*/
 
   return snapshot;