- for (std::shared_ptr<Pair> const& pair : explorationStack_) {
- int req_num = pair->graph_state->transition.argument;
- smx_simcall_t req = &pair->graph_state->executed_req;
- if (req && req->call != SIMCALL_NONE)
- trace.push_back(simgrid::mc::request_to_string(
- req, req_num, simgrid::mc::RequestType::executed));
+ for (std::shared_ptr<Pair> const& pair : exploration_stack_) {
+ int req_num = pair->graph_state->transition_.argument_;
+ smx_simcall_t req = &pair->graph_state->executed_req_;
+ if (req && req->call_ != SIMCALL_NONE)
+ trace.push_back(request_to_string(req, req_num, RequestType::executed));