X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/30a925489c6e4d4a92042ef80de375c56ccb562b..c7df79fb2ff6e105b83092e142fbe74214fd3b75:/src/mc/mc_safety.h

diff --git a/src/mc/mc_safety.h b/src/mc/mc_safety.h
index 931584bb40..60c177f1f9 100644
--- a/src/mc/mc_safety.h
+++ b/src/mc/mc_safety.h
@@ -9,6 +9,9 @@
 
 #include <stdint.h>
 
+#include <vector>
+#include <memory>
+
 #include <simgrid_config.h>
 
 #include <xbt/base.h>
@@ -28,21 +31,19 @@ enum class ReductionMode {
 
 extern XBT_PRIVATE simgrid::mc::ReductionMode reduction_mode;
 
-int modelcheck_safety(void);
-
 struct XBT_PRIVATE VisitedState {
-  mc_snapshot_t system_state;
-  size_t heap_bytes_used;
-  int nb_processes;
-  int num;
-  int other_num; // dot_output for
+  std::shared_ptr<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();
 };
 
-extern XBT_PRIVATE xbt_dynar_t visited_states;
-XBT_PRIVATE simgrid::mc::VisitedState* is_visited_state(mc_state_t graph_state);
+extern XBT_PRIVATE std::vector<std::unique_ptr<simgrid::mc::VisitedState>> visited_states;
+XBT_PRIVATE std::unique_ptr<simgrid::mc::VisitedState> is_visited_state(simgrid::mc::State* graph_state, bool compare_snpashots);
 
 }
 }