From b27427e74deb7f4f121f441d889d03449c4345d6 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sat, 5 Nov 2022 20:04:43 +0100 Subject: [PATCH] Allow the MC replay to use the 'zero' buffering --- src/mc/mc_config.cpp | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/mc/mc_config.cpp b/src/mc/mc_config.cpp index 6f607d6984..2c677ba363 100644 --- a/src/mc/mc_config.cpp +++ b/src/mc/mc_config.cpp @@ -19,8 +19,10 @@ bool simgrid::mc::cfg_do_model_check = false; static void _mc_cfg_cb_check(const char* spec, bool more_check = true) { #if SIMGRID_HAVE_MC - xbt_assert(_sg_cfg_init_status == 0 || MC_is_active() || not more_check, - "Specifying a %s is only allowed within the model-checker. Please use simgrid-mc.", spec); + xbt_assert(_sg_cfg_init_status == 0 || MC_is_active() || MC_record_replay_is_active() || not more_check, + "Specifying a %s is only allowed within the model-checker. Please use simgrid-mc, or specify this option " + "after the replay path.", + spec); #else xbt_die("Specifying a %s is only allowed within the model-checker. Please enable it before the compilation.", spec); #endif -- 2.20.1