From 10f77426a04dbc7a2fb65738a976a01f3f8ad056 Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Sun, 30 Sep 2012 13:50:38 +0200
Subject: [PATCH] model-checker : store local variables in raw heap

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

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 96043b9b3b..f2f93ba046 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -177,8 +177,9 @@ void MC_modelcheck_liveness(){
      iteration of the model-checker (in RAW memory) */
 
   MC_SET_RAW_MEM;
-
-  mc_binary_local_variables = xbt_dynar_new(sizeof(dw_frame_t), NULL);
+    
+  /* Get local variables in binary for state equality detection */
+  MC_get_binary_local_variables();
 
   /* Initialize statistics */
   mc_stats_pair = xbt_new0(s_mc_stats_pair_t, 1);
@@ -190,9 +191,6 @@ void MC_modelcheck_liveness(){
 
   MC_UNSET_RAW_MEM;
 
-  /* Get local variables in binary for state equality detection */
-  MC_get_binary_local_variables();
-
   MC_ddfs_init();
 
   /* We're done */
-- 
2.20.1