if (next < 0 || not state->is_actor_enabled(next)) {
if (next >= 0) { // Actor is not enabled, then
if (next < 0 || not state->is_actor_enabled(next)) {
if (next >= 0) { // Actor is not enabled, then
- XBT_INFO("Reduction %s wants to execute a disabled transition %s. If it's ODPOR, ReversibleRace is suboptimal.",
- to_c_str(reduction_mode_),
- state->get_actors_list().at(next).get_transition()->to_string(true).c_str());
+ XBT_DEBUG(
+ "Reduction %s wants to execute a disabled transition %s. If it's ODPOR, ReversibleRace is suboptimal.",
+ to_c_str(reduction_mode_), state->get_actors_list().at(next).get_transition()->to_string(true).c_str());
// Remove the disabled transition from the wakeup tree so that ODPOR doesn't try it again
state->remove_subtree_at_aid(next);
state->add_sleep_set(state->get_actors_list().at(next).get_transition());
// Remove the disabled transition from the wakeup tree so that ODPOR doesn't try it again
state->remove_subtree_at_aid(next);
state->add_sleep_set(state->get_actors_list().at(next).get_transition());
XBT_DEBUG("\tPerformed ODPOR 'clean-up'. Sleep set has:");
for (const auto& [aid, transition] : state->get_sleep_set())
XBT_DEBUG("\t <%ld,%s>", aid, transition->to_string().c_str());
XBT_DEBUG("\tPerformed ODPOR 'clean-up'. Sleep set has:");
for (const auto& [aid, transition] : state->get_sleep_set())
XBT_DEBUG("\t <%ld,%s>", aid, transition->to_string().c_str());