From 102c27957beb3025cec67dda5e11590e60f8a682 Mon Sep 17 00:00:00 2001 From: mlaurent Date: Fri, 10 Nov 2023 19:01:45 +0100 Subject: [PATCH] Add debug info for reversible race construction --- src/mc/explo/odpor/Execution.cpp | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/mc/explo/odpor/Execution.cpp b/src/mc/explo/odpor/Execution.cpp index ba6f7babc5..42ff35ec86 100644 --- a/src/mc/explo/odpor/Execution.cpp +++ b/src/mc/explo/odpor/Execution.cpp @@ -278,6 +278,9 @@ std::optional Execution::get_odpor_extension_from(EventHandle E_prime_v.push_transition(get_event_with_handle(e_star).get_transition()); v.push_back(get_event_with_handle(e_star).get_transition()); + XBT_DEBUG("Added Event `%u` (%ld:%s) to the construction of v", e_star, get_actor_with_handle(e_star), + get_event_with_handle(e_star).get_transition()->to_string().c_str()); + const EventHandle e_star_in_E_prime_v = E_prime_v.get_latest_event_handle().value(); // When checking whether any event in `dom_[E'](v)` happens before @@ -315,6 +318,9 @@ std::optional Execution::get_odpor_extension_from(EventHandle // relation orders actions taken by each actor disqualified_actors.insert(q); } + } else { + XBT_DEBUG("Event `%u` (%ld:%s) dismissed from the construction of v", e_star, get_actor_with_handle(e_star), + get_event_with_handle(e_star).get_transition()->to_string().c_str()); } } -- 2.20.1