From 72d54b79829cfb0c0f5115500b9d14dc225c909a Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Tue, 8 Sep 2015 16:09:49 +0200 Subject: [PATCH] Fix a misleading output --- src/mc/mc_safety.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/mc/mc_safety.cpp b/src/mc/mc_safety.cpp index 7336489ef4..65f381a14a 100644 --- a/src/mc/mc_safety.cpp +++ b/src/mc/mc_safety.cpp @@ -201,7 +201,7 @@ void MC_modelcheck_safety(void) req = MC_state_get_internal_request(state); if (req->call == SIMCALL_MUTEX_LOCK || req->call == SIMCALL_MUTEX_TRYLOCK) xbt_die("Mutex is currently not supported with DPOR, " - "use --cfg=model-check/reduction:dpor"); + "use --cfg=model-check/reduction:none"); const smx_process_t issuer = MC_smx_simcall_get_issuer(req); xbt_fifo_foreach(mc_stack, item, prev_state, mc_state_t) { if (MC_request_depend(req, MC_state_get_internal_request(prev_state))) { -- 2.20.1