From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Fri, 9 Nov 2012 17:44:02 +0000 (+0100)
Subject: model-checker : move creation of initial_state_liveness in MC_init_liveness
X-Git-Tag: v3_9_rc1~91^2~126^2~8
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/26db99febdde24a0d879d7576d4ccf39c1a6d237?hp=6f63fc36d25e3124be815b48c53b2aaafc1224d8;ds=sidebyside

model-checker : move creation of initial_state_liveness in MC_init_liveness
---

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 14bc08538f..4dce1042e4 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -202,6 +202,8 @@ void MC_init_liveness(){
   xbt_dict_t libsimgrid_location_list = MC_get_location_list(ls_path);
   MC_get_local_variables(ls_path, libsimgrid_location_list, &mc_local_variables);
 
+  initial_state_liveness = xbt_new0(s_mc_global_t, 1);
+
   MC_UNSET_RAW_MEM;
 
   MC_init_memory_map_info();
diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index 8464bfff4a..cb1b91b5ed 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -276,7 +276,6 @@ void MC_ddfs_init(void){
   successors = xbt_dynar_new(sizeof(mc_pair_stateless_t), NULL);
 
   /* Save the initial state */
-  initial_state_liveness = xbt_new0(s_mc_global_t, 1);
   initial_state_liveness->initial_snapshot = MC_take_snapshot_liveness();
 
   MC_UNSET_RAW_MEM;