Introduce a class mc::SimcallInspector, that allows MC to learn about the ongoing...

[simgrid.git] / src / simix / popping_private.hpp

diff --git a/src/simix/popping_private.hpp b/src/simix/popping_private.hpp
index 00d77e2..338a29b 100644 (file)
--- a/src/simix/popping_private.hpp
+++ b/src/simix/popping_private.hpp
@@ -46,7 +46,7 @@ struct s_smx_simcall {
   e_smx_simcall_t call_;
   smx_actor_t issuer_;
   smx_timer_t timeout_cb_; // Callback to timeouts
-  simgrid::kernel::actor::Transition* transition_ = nullptr;
+  simgrid::mc::SimcallInspector* inspector_ = nullptr; // makes that simcall observable by the MC
   int mc_value_;
   u_smx_scalar args_[11];
   u_smx_scalar result_;