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
Fix subtle bug in ~_E computation
[simgrid.git]
/
src
/
mc
/
mc_config.cpp
diff --git
a/src/mc/mc_config.cpp
b/src/mc/mc_config.cpp
index 2174f3a4f8fc070550dfae4857ac360ed2f80732..1d9375f6277cc4456575d68e2ecfcd02b31ffa89 100644
(file)
--- a/
src/mc/mc_config.cpp
+++ b/
src/mc/mc_config.cpp
@@
-154,8
+154,8
@@
simgrid::mc::ReductionMode simgrid::mc::get_model_checking_reduction()
return ReductionMode::odpor;
} else if (cfg_mc_reduction.get() == "udpor") {
XBT_INFO("No reduction will be used: "
return ReductionMode::odpor;
} else if (cfg_mc_reduction.get() == "udpor") {
XBT_INFO("No reduction will be used: "
- "UDPOR
is
has a dedicated invocation 'model-check/unfolding-checker' "
- "but is not yet supported in SimGrid");
+ "UDPOR has a dedicated invocation 'model-check/unfolding-checker' "
+ "but is not yet
fully
supported in SimGrid");
return ReductionMode::none;
} else {
XBT_INFO("Unknown reduction mode: defaulting to no reduction");
return ReductionMode::none;
} else {
XBT_INFO("Unknown reduction mode: defaulting to no reduction");