A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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
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_;
int mc_value_;
u_smx_scalar args_[11];
u_smx_scalar result_;