+ if (value == -1) {
+ if (issuer->smx_host)
+ label =
+ bprintf("[(%lu)%s] TestAny FALSE", issuer->pid,
+ MC_smx_process_get_host_name(issuer));
+ else
+ label = bprintf("[(%lu)] TestAny FALSE", issuer->pid);
+ } else {
+ if (issuer->smx_host)
+ label =
+ bprintf("[(%lu)%s] TestAny TRUE [%d of %lu]", issuer->pid,
+ MC_smx_process_get_host_name(issuer), value + 1,
+ xbt_dynar_length(simcall_comm_testany__get__comms(req)));
+ else
+ label =
+ bprintf("[(%lu)] TestAny TRUE [%d of %lu]", issuer->pid,
+ value + 1,
+ xbt_dynar_length(simcall_comm_testany__get__comms(req)));
+ }
+ break;
+
+ case SIMCALL_MUTEX_LOCK:
+ label = bprintf("[(%lu)] Mutex LOCK", req->issuer->pid);
+ break;
+
+ case SIMCALL_MC_RANDOM:
+ if (issuer->smx_host)
+ label =
+ bprintf("[(%lu)%s] MC_RANDOM (%d)", issuer->pid,
+ MC_smx_process_get_host_name(issuer), value);
+ else
+ label = bprintf("[(%lu)] MC_RANDOM (%d)", issuer->pid, value);
+ break;
+
+ case SIMCALL_MC_SNAPSHOT:
+ if (issuer->smx_host)
+ label =
+ bprintf("[(%lu)%s] MC_SNAPSHOT", issuer->pid,
+ MC_smx_process_get_host_name(issuer));
+ else
+ label = bprintf("[(%lu)] MC_SNAPSHOT", issuer->pid);
+ break;
+
+ case SIMCALL_MC_COMPARE_SNAPSHOTS:
+ if (issuer->smx_host)
+ label =
+ bprintf("[(%lu)%s] MC_COMPARE_SNAPSHOTS", issuer->pid,
+ MC_smx_process_get_host_name(issuer));
+ else
+ label = bprintf("[(%lu)] MC_COMPARE_SNAPSHOTS", issuer->pid);