[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 689d93a..3969319 100644 (file)
--- 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 e87f274..7844d4e 100644 (file)
--- 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;
 }