- ("You are specifying a reduction strategy after the initialization (through MSG_config?), but model-checking was not activated at config time (through --cfg=model-check:1). This won't work, sorry.");
- }
- char *val = xbt_cfg_get_string(_sg_cfg_set, name);
- if (!strcasecmp(val, "none")) {
- mc_reduce_kind = e_mc_reduce_none;
- } else if (!strcasecmp(val, "dpor")) {
- mc_reduce_kind = e_mc_reduce_dpor;
- } else {
+ ("You are specifying a reduction strategy after the initialization (through MSG_config?), but model-checking was not activated at config time (through bu the program was not runned under the model-checker (with simgrid-mc)). This won't work, sorry.");
+
+ char *val = xbt_cfg_get_string(name);
+ 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