// XBT_INFO("micro shutdown: mbox %s", mbox);
msg_error_t ret = MSG_task_send(task, mbox);
- xbt_assert(ret == MSG_OK);
+ if(ret != MSG_OK)
+ xbt_die("shutdown error - task not sent");
xbt_free(mbox);
// XBT_INFO("shutdown done");
// XBT_INFO("req overhead");
msg_error_t ret = MSG_task_send(task, mbox);
- xbt_assert(ret == MSG_OK);
+ if(ret != MSG_OK)
+ xbt_die("req overhead error - task not sent");
xbt_free(mbox);
}
request_overhead(comm_task, data_size * alpha);
msg_error_t ret = MSG_task_send(mtask, mbox);
- xbt_assert(ret == MSG_OK);
+ if(ret != MSG_OK)
+ xbt_die("migration error - task not sent");
xbt_free(mtask_name);
}