Don't compute the dependencies locally in the checker, but through the observers...

[simgrid.git] / src / mc / mc_state.hpp

diff --git a/src/mc/mc_state.hpp b/src/mc/mc_state.hpp
index 612fc4ccd56e75cc1f8cf6f9c0e207394f728ee8..6892324f1da024897f582ce8a7660d403da44216 100644 (file)
--- a/src/mc/mc_state.hpp
+++ b/src/mc/mc_state.hpp
@@ -27,6 +27,9 @@ public:
   /** The simcall which was executed, going out of that state */
   s_smx_simcall executed_req_;
 
   /** The simcall which was executed, going out of that state */
   s_smx_simcall executed_req_;
 

+  /** Observer of the transition leading to that sate */
+  RemotePtr<kernel::actor::SimcallObserver> remote_observer_;
+

   /* Internal translation of the executed_req simcall
    *
    * Simcall::COMM_TESTANY is translated to a Simcall::COMM_TEST
   /* Internal translation of the executed_req simcall
    *
    * Simcall::COMM_TESTANY is translated to a Simcall::COMM_TEST