From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Fri, 18 Mar 2016 08:18:12 +0000 (+0100)
Subject: [mc] Fix VisitedState constructor
X-Git-Tag: v3_13~382
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/8bf3a516fdf97bea1405fb0d2499ecc446ae61e2

[mc] Fix VisitedState constructor

The snapshot was not taken anymore.
---

diff --git a/src/mc/mc_safety.h b/src/mc/mc_safety.h
index 689d93a867..3969319dd3 100644
--- a/src/mc/mc_safety.h
+++ b/src/mc/mc_safety.h
@@ -31,11 +31,11 @@ extern XBT_PRIVATE simgrid::mc::ReductionMode reduction_mode;
 int modelcheck_safety(void);
 
 struct XBT_PRIVATE VisitedState {
-  simgrid::mc::Snapshot* system_state;
-  size_t heap_bytes_used;
-  int nb_processes;
-  int num;
-  int other_num; // dot_output for
+  simgrid::mc::Snapshot* system_state = nullptr;
+  size_t heap_bytes_used = 0;
+  int nb_processes = 0;
+  int num = 0;
+  int other_num = 0; // dot_output for
 
   VisitedState();
   ~VisitedState();
diff --git a/src/mc/mc_visited.cpp b/src/mc/mc_visited.cpp
index e87f274e87..7844d4e44d 100644
--- a/src/mc/mc_visited.cpp
+++ b/src/mc/mc_visited.cpp
@@ -55,6 +55,7 @@ VisitedState::VisitedState()
   this->nb_processes =
     mc_model_checker->process().simix_processes().size();
 
+  this->system_state = simgrid::mc::take_snapshot(mc_stats->expanded_states);
   this->num = mc_stats->expanded_states;
   this->other_num = -1;
 }