From 6a57d49726f4ad02cbe5f8764024bcc3a9bdbabb Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 6 Jun 2013 22:48:49 +0200
Subject: [PATCH] model-checker : use raw_heap instead of std_heap

---
 src/mc/mc_global.c | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 70013ed9d5..3381e9d605 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -659,6 +659,11 @@ void MC_dump_stack_safety(xbt_fifo_t stack)
 
 void MC_show_stack_safety(xbt_fifo_t stack)
 {
+
+  int raw_mem_set = (mmalloc_get_current_heap() == raw_heap);
+
+  MC_SET_RAW_MEM;
+
   int value;
   mc_state_t state;
   xbt_fifo_item_t item;
@@ -675,6 +680,9 @@ void MC_show_stack_safety(xbt_fifo_t stack)
       xbt_free(req_str);
     }
   }
+
+  if(!raw_mem_set)
+    MC_UNSET_RAW_MEM;
 }
 
 void MC_show_deadlock(smx_simcall_t req)
-- 
2.20.1