- if (api::get().simcall_check_dependency(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, RequestType::internal).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, RequestType::executed).c_str(),
- state->num_);
- }
-
- if (not prev_state->actor_states_[issuer->get_pid()].is_done())
- prev_state->mark_todo(issuer);
- else
- XBT_DEBUG("Process %p is in done set", req->issuer_);
+ if (state->get_transition()->aid_ == prev_state->get_transition()->aid_) {
+ XBT_DEBUG("Simcall >>%s<< and >>%s<< with same issuer %ld", state->get_transition()->to_cstring(),
+ prev_state->get_transition()->to_cstring(), issuer_id);