xbt_cfg_register(&_sg_cfg_set, "model-check/replay",
"Uenable replay mode with the given path",
xbt_cfgelm_string, 0, 1, _sg_cfg_cb_model_check_replay, NULL);
xbt_cfg_register(&_sg_cfg_set, "model-check/replay",
"Uenable replay mode with the given path",
xbt_cfgelm_string, 0, 1, _sg_cfg_cb_model_check_replay, NULL);