X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/41887885e1953cb056594145190e30088f9b6d03..8cb67632980ded866c69cbd6c8a354e85a10cbec:/src/mc/mc_state.hpp

diff --git a/src/mc/mc_state.hpp b/src/mc/mc_state.hpp
index dbabb8a1ca..60e9e100db 100644
--- a/src/mc/mc_state.hpp
+++ b/src/mc/mc_state.hpp
@@ -42,6 +42,9 @@ public:
   /* Returns a positive number if there is another transition to pick, or -1 if not */
   int next_transition() const;
 
+  /* Explore a new path */
+  RemotePtr<simgrid::kernel::actor::SimcallObserver> execute_next(int next);
+
   std::size_t count_todo() const;
   void mark_todo(aid_t actor) { this->actor_states_[actor].mark_todo(); }
   Transition* get_transition() const;