- } else if (api::get().simcall_check_dependency(&state->internal_req_, &prev_state->internal_req_)) {
- if (XBT_LOG_ISENABLED(mc_safety, xbt_log_priority_debug)) {
- XBT_DEBUG("Dependent Transitions:");
- int value = prev_state->transition_.times_considered_;
- smx_simcall_t prev_req = &prev_state->executed_req_;
- XBT_DEBUG("%s (state=%d)", api::get().request_to_string(prev_req, value).c_str(), prev_state->num_);
- value = state->transition_.times_considered_;
- prev_req = &state->executed_req_;
- XBT_DEBUG("%s (state=%d)", api::get().request_to_string(prev_req, value).c_str(), state->num_);
- }
-
- if (not prev_state->actor_states_[issuer->get_pid()].is_done())
- prev_state->mark_todo(issuer);
+ } else if (prev_state->get_transition()->depends(state->get_transition())) {
+ XBT_VERB("Dependent Transitions:");
+ XBT_VERB(" %s (state=%ld)", prev_state->get_transition()->to_string().c_str(), prev_state->num_);
+ XBT_VERB(" %s (state=%ld)", state->get_transition()->to_string().c_str(), state->num_);
+
+ if (not prev_state->actor_states_[issuer_id].is_done())
+ prev_state->mark_todo(issuer_id);