- }
- 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 {
- xbt_die("configuration option %s can only take 'none' or 'dpor' as a value",
- name);
- }
-}
-
-void _mc_cfg_cb_checkpoint(const char *name, int pos)
+
+ std::string val = xbt_cfg_get_string(name);
+ if (val == "none")
+ simgrid::mc::reduction_mode = simgrid::mc::ReductionMode::none;
+ else if (val == "dpor")
+ simgrid::mc::reduction_mode = simgrid::mc::ReductionMode::dpor;
+ else
+ xbt_die("configuration option %s can only take 'none' or 'dpor' as a value", name);
+}
+
+void _mc_cfg_cb_checkpoint(const char *name)