_surf_mc_checkpoint = xbt_cfg_get_int(_surf_cfg_set, name);
xbt_cfg_set_int(_surf_cfg_set,"model-check",1);
}
void _mc_cfg_cb_property(const char *name, int pos) {
_surf_mc_checkpoint = xbt_cfg_get_int(_surf_cfg_set, name);
xbt_cfg_set_int(_surf_cfg_set,"model-check",1);
}
void _mc_cfg_cb_property(const char *name, int pos) {