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
[mc] Remove the horrid temporary MC_PROCESS_FOREACH() macro
[simgrid.git]
/
src
/
mc
/
mc_base.cpp
diff --git
a/src/mc/mc_base.cpp
b/src/mc/mc_base.cpp
index
82da31f
..
ceed72a
100644
(file)
--- a/
src/mc/mc_base.cpp
+++ b/
src/mc/mc_base.cpp
@@
-227,16
+227,12
@@
void MC_simcall_handle(smx_simcall_t req, int value)
return;
}
return;
}
- unsigned i;
- mc_smx_process_info_t pi = nullptr;
-
- MC_PROCESS_FOREACH(mc_model_checker->process().smx_process_infos, i, pi) {
- if (req == &pi->copy.simcall) {
+ for (auto& pi : mc_model_checker->process().smx_process_infos)
+ if (req == &pi.copy.simcall) {
mc_model_checker->simcall_handle(
mc_model_checker->simcall_handle(
- mc_model_checker->process(), pi
->
copy.pid, value);
+ mc_model_checker->process(), pi
.
copy.pid, value);
return;
}
return;
}
- }
xbt_die("Could not find the request");
#endif
xbt_die("Could not find the request");
#endif