- if (!strcasecmp(val, "none")) {
- mc_reduce_kind = e_mc_reduce_none;
- } else if (!strcasecmp(val, "dpor")) {
- mc_reduce_kind = e_mc_reduce_dpor;
- } else {
+ if (!strcasecmp(val, "none"))
+ simgrid::mc::reduction_mode = simgrid::mc::ReductionMode::none;
+ else if (!strcasecmp(val, "dpor"))
+ simgrid::mc::reduction_mode = simgrid::mc::ReductionMode::dpor;
+ else