*/
void SIMIX_req_process_suspend(smx_process_t process)
{
- xbt_assert0(process, "Invalid parameters");
+ xbt_assert(process, "Invalid parameters");
smx_req_t req = SIMIX_req_mine();
smx_rdv_t SIMIX_req_rdv_get_by_name(const char *name)
{
- xbt_assert0(name != NULL, "Invalid parameter for SIMIX_req_rdv_get_by_name (name is NULL)");
+ xbt_assert(name != NULL, "Invalid parameter for SIMIX_req_rdv_get_by_name (name is NULL)");
/* FIXME: this is a horrible lost of performance, so we hack it out by
* skipping the request (for now). It won't work on distributed but
int (*match_fun)(void *, void *), void *data,
double timeout)
{
- xbt_assert0(rdv, "No rendez-vous point defined for send");
+ xbt_assert(rdv, "No rendez-vous point defined for send");
if (MC_IS_ENABLED) {
/* the model-checker wants two separate requests */
int (*match_fun)(void *, void *), void *data,
int detached)
{
- xbt_assert0(rdv, "No rendez-vous point defined for isend");
+ xbt_assert(rdv, "No rendez-vous point defined for isend");
smx_req_t req = SIMIX_req_mine();
void SIMIX_req_comm_recv(smx_rdv_t rdv, void *dst_buff, size_t * dst_buff_size,
int (*match_fun)(void *, void *), void *data, double timeout)
{
- xbt_assert0(rdv, "No rendez-vous point defined for recv");
+ xbt_assert(rdv, "No rendez-vous point defined for recv");
if (MC_IS_ENABLED) {
/* the model-checker wants two separate requests */
smx_action_t SIMIX_req_comm_irecv(smx_rdv_t rdv, void *dst_buff, size_t * dst_buff_size,
int (*match_fun)(void *, void *), void *data)
{
- xbt_assert0(rdv, "No rendez-vous point defined for irecv");
+ xbt_assert(rdv, "No rendez-vous point defined for irecv");
smx_req_t req = SIMIX_req_mine();
void SIMIX_req_comm_destroy(smx_action_t comm)
{
- xbt_assert0(comm, "Invalid parameter");
+ xbt_assert(comm, "Invalid parameter");
/* FIXME remove this request type: comms are auto-destroyed now,
* but what happens with unfinished comms? */