-/* Copyright (c) 2007-2014. The SimGrid Team.
+/* Copyright (c) 2007-2015. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
#include "mc_comm_pattern.h"
#include "mc_smx.h"
+#include "mc_xbt.hpp"
+
+using simgrid::mc::remote;
extern "C" {
res->index = comm->index;
res->type = comm->type;
res->comm_addr = comm->comm_addr;
- res->rdv = strdup(comm->rdv);
+ res->rdv = xbt_strdup(comm->rdv);
res->data_size = -1;
res->data = NULL;
if (comm->type == SIMIX_COMM_SEND) {
comm_addr = simcall_comm_wait__get__comm(req);
else
// comm_addr = REMOTE(xbt_dynar_get_as(simcall_comm_waitany__get__comms(req), value, smx_synchro_t)):
- MC_process_read_dynar_element(&mc_model_checker->process, &comm_addr,
- simcall_comm_waitany__get__comms(req), value, sizeof(comm_addr));
+ simgrid::mc::read_element(mc_model_checker->process(), &comm_addr,
+ remote(simcall_comm_waitany__get__comms(req)), value, sizeof(comm_addr));
MC_complete_comm_pattern(pattern, comm_addr,
MC_smx_simcall_get_issuer(req)->pid, backtracking);
}