- XBT_INFO("Current trace:");
- for (auto elm : get_textual_trace())
- XBT_ERROR("%s", elm.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());
+ } else {
+ xbt_assert(false, "Only ODPOR should be confident enought in itself to try executing a disabled transition");