} else if (cfg_mc_reduction.get() == "sdpor") {
return ReductionMode::sdpor;
} else if (cfg_mc_reduction.get() == "odpor") {
- return simgrid::mc::ReductionMode::odpor;
+ 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");