+ [](std::string_view value) {
+ xbt_assert(simgrid::mc::model_checking_mode == simgrid::mc::ModelCheckingMode::NONE ||
+ simgrid::mc::model_checking_mode == simgrid::mc::ModelCheckingMode::REPLAY,
+ "Specifying a MC replay path is not allowed when running the model-checker in mode %s. "
+ "Either remove the model-check/replay parameter, or execute your code out of simgrid-mc.",
+ to_c_str(simgrid::mc::model_checking_mode));
+ simgrid::mc::model_checking_mode = simgrid::mc::ModelCheckingMode::REPLAY;
+ MC_record_path() = value;
+ }};