From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Sun, 30 Sep 2012 11:50:38 +0000 (+0200)
Subject: model-checker : store local variables in raw heap
X-Git-Tag: v3_8~123
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/10f77426a04dbc7a2fb65738a976a01f3f8ad056

model-checker : store local variables in raw heap
---

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 */