From 72680ab46a46b8f1ae2dbfb56581968206f4e3b1 Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@inria.fr>
Date: Wed, 30 Apr 2014 15:31:56 +0200
Subject: [PATCH] model-checker : disable mprotect on snapshots

---
 src/mc/mc_checkpoint.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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;
 
-- 
2.20.1