Add explicit ODPOR clean-up phase to DFSExplorer

[simgrid.git] / src / mc / api / State.hpp

diff --git a/src/mc/api/State.hpp b/src/mc/api/State.hpp
index d951ed9..aa04094 100644 (file)
--- a/src/mc/api/State.hpp
+++ b/src/mc/api/State.hpp
@@ -151,7 +151,6 @@ public:
    * `N` running actor `p` of this state's wakeup tree
    */
   void remove_subtree_starting_with(aid_t p);
-
   bool has_empty_tree() const { return this->wakeup_tree_.empty(); }
 
   /**
@@ -159,6 +158,9 @@ public:
    */
   void mark_path_interesting_for_odpor(const odpor::PartialExecution&, const odpor::Execution&);
 
+  /** */
+  void do_odpor_backtrack_cleanup();
+
   /* Returns the total amount of states created so far (for statistics) */
   static long get_expanded_states() { return expended_states_; }
 };