- char *type = NULL, *args = NULL, *str = NULL, *p = NULL, *bs = NULL;
+ const char* type = NULL;
+ char *args = NULL, *str = NULL, *p = NULL, *bs = NULL;
p = pointer_to_string(simcall_comm_isend__get__src_buff(req));
bs = buff_size_to_string(simcall_comm_isend__get__src_buff_size(req));
if (issuer->smx_host)
p = pointer_to_string(simcall_comm_isend__get__src_buff(req));
bs = buff_size_to_string(simcall_comm_isend__get__src_buff_size(req));
if (issuer->smx_host)
p = pointer_to_string(act);
args = bprintf("comm=%s", p);
} else {
p = pointer_to_string(act);
args = bprintf("comm=%s", p);
} else {
p = pointer_to_string(act);
// TODO, fix remote access to comm
smx_process_t src_proc = MC_smx_resolve_process(act->comm.src_proc);
p = pointer_to_string(act);
// TODO, fix remote access to comm
smx_process_t src_proc = MC_smx_resolve_process(act->comm.src_proc);
case SIMCALL_COMM_TEST:
act = simcall_comm_test__get__comm(req);
if (act->comm.src_proc == NULL || act->comm.dst_proc == NULL) {
case SIMCALL_COMM_TEST:
act = simcall_comm_test__get__comm(req);
if (act->comm.src_proc == NULL || act->comm.dst_proc == NULL) {
p = pointer_to_string(act);
args = bprintf("comm=%s", p);
} else {
p = pointer_to_string(act);
args = bprintf("comm=%s", p);
} else {
p = pointer_to_string(act);
// TODO, get process, get process name
smx_process_t src_proc = MC_smx_resolve_process(act->comm.src_proc);
p = pointer_to_string(act);
// TODO, get process, get process name
smx_process_t src_proc = MC_smx_resolve_process(act->comm.src_proc);
if (!xbt_dynar_is_empty(simcall_comm_waitany__get__comms(req))) {
p = pointer_to_string(xbt_dynar_get_as
(simcall_comm_waitany__get__comms(req), value,
if (!xbt_dynar_is_empty(simcall_comm_waitany__get__comms(req))) {
p = pointer_to_string(xbt_dynar_get_as
(simcall_comm_waitany__get__comms(req), value,
args =
bprintf("(%d of %lu)", value + 1,
xbt_dynar_length(simcall_comm_testany__get__comms(req)));
args =
bprintf("(%d of %lu)", value + 1,
xbt_dynar_length(simcall_comm_testany__get__comms(req)));
args = bprintf("locked = %d, owner = %d, sleeping = %d", mutex->locked, mutex->owner != NULL ? (int)mutex->owner->pid : -1, xbt_swag_size(mutex->sleeping));
break;
case SIMCALL_MC_SNAPSHOT:
args = bprintf("locked = %d, owner = %d, sleeping = %d", mutex->locked, mutex->owner != NULL ? (int)mutex->owner->pid : -1, xbt_swag_size(mutex->sleeping));
break;
case SIMCALL_MC_SNAPSHOT: