if (pair->exploration_started) {
- int value;
- smx_simcall_t saved_req = MC_state_get_executed_request(state.get(), &value);
+ int value = state->req_num;
+ smx_simcall_t saved_req = &state->executed_req;
smx_simcall_t req = nullptr;
RecordTrace LivenessChecker::getRecordTrace() // override
{
RecordTrace res;
- for (std::shared_ptr<Pair> const& pair : explorationStack_) {
- int value;
- smx_simcall_t req = MC_state_get_executed_request(pair->graph_state.get(), &value);
- if (req && req->call != SIMCALL_NONE) {
- smx_process_t issuer = MC_smx_simcall_get_issuer(req);
- const int pid = issuer->pid;
- res.push_back(RecordTraceElement(pid, value));
- }
- }
+ for (std::shared_ptr<Pair> const& pair : explorationStack_)
+ res.push_back(pair->graph_state->getRecordElement());
return res;
}
{
std::vector<std::string> trace;
for (std::shared_ptr<Pair> const& pair : explorationStack_) {
- int value;
- smx_simcall_t req = MC_state_get_executed_request(pair->graph_state.get(), &value);
+ int value = pair->graph_state->req_num;
+ smx_simcall_t req = &pair->graph_state->executed_req;
if (req && req->call != SIMCALL_NONE)
trace.push_back(simgrid::mc::request_to_string(
req, value, simgrid::mc::RequestType::executed));