From 72f3e5bb7597e85d02f6fb4dea3c7a8ac18d520a Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Sun, 2 Dec 2012 22:07:32 +0100
Subject: [PATCH 1/1] model-checker : text segment is read and exec only

---
 src/mc/mc_checkpoint.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c
index 321055faca..d23fbf5911 100644
--- a/src/mc/mc_checkpoint.c
+++ b/src/mc/mc_checkpoint.c
@@ -112,7 +112,7 @@ void MC_init_memory_map_info(){
           }
         }
       }
-    }else if ((reg.prot & PROT_READ)){
+    }else if ((reg.prot & PROT_READ) && (reg.prot & PROT_EXEC)){
       if (maps->regions[i].pathname != NULL){
         if (!memcmp(basename(maps->regions[i].pathname), "libsimgrid", 10)){
           start_text_libsimgrid = reg.start_addr;
-- 
2.20.1