From e961a2a772f19953c619907397f0fc78dfdb8d77 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Mon, 19 Aug 2019 16:50:52 +0200 Subject: [PATCH] DPOR: improve debug messages --- src/mc/checker/SafetyChecker.cpp | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/src/mc/checker/SafetyChecker.cpp b/src/mc/checker/SafetyChecker.cpp index f827c1f8dc..b72c6c9125 100644 --- a/src/mc/checker/SafetyChecker.cpp +++ b/src/mc/checker/SafetyChecker.cpp @@ -229,15 +229,16 @@ void SafetyChecker::backtrack() } else if (req->issuer_ == prev_state->internal_req.issuer_) { - XBT_DEBUG("Simcall %d and %d with same issuer", req->call_, prev_state->internal_req.call_); + XBT_DEBUG("Simcall %s and %s with same issuer", SIMIX_simcall_name(req->call_), + SIMIX_simcall_name(prev_state->internal_req.call_)); break; } else { const smx_actor_t previous_issuer = MC_smx_simcall_get_issuer(&prev_state->internal_req); - XBT_DEBUG("Simcall %d, process %ld (state %d) and simcall %d, process %ld (state %d) are independent", - req->call_, issuer->get_pid(), state->num_, prev_state->internal_req.call_, - previous_issuer->get_pid(), prev_state->num_); + XBT_DEBUG("Simcall %s, process %ld (state %d) and simcall %s, process %ld (state %d) are independent", + SIMIX_simcall_name(req->call_), issuer->get_pid(), state->num_, + SIMIX_simcall_name(prev_state->internal_req.call_), previous_issuer->get_pid(), prev_state->num_); } } } -- 2.20.1