xbt_cfg_register_string("model-check/replay", nullptr, _sg_cfg_cb_model_check_replay,
"Model-check path to replay (as reported by SimGrid when a violation is reported)");
xbt_cfg_register_string("model-check/replay", nullptr, _sg_cfg_cb_model_check_replay,
"Model-check path to replay (as reported by SimGrid when a violation is reported)");