}
if(!state_modifications) {
- DEBUG1("%g : Calling surf_solve",MSG_get_clock());
+ DEBUG1("%f : Calling surf_solve",MSG_get_clock());
elapsed_time = surf_solve();
- DEBUG1("Elapsed_time %g",elapsed_time);
+ DEBUG1("Elapsed_time %f",elapsed_time);
if (elapsed_time<0.0) {
/* fprintf(stderr, "We're done %g\n",elapsed_time); */
MSG_RETURN(MSG_OK);
}
}
- xbt_assert2(!(h_simdata->sleeping[channel]),
- "A process (%s(%d)) is already blocked on this channel",
+ xbt_assert3(!(h_simdata->sleeping[channel]),
+ "A process (%s(%d)) is already blocked on channel %d",
h_simdata->sleeping[channel]->name,
- h_simdata->sleeping[channel]->simdata->PID);
+ h_simdata->sleeping[channel]->simdata->PID,
+ channel);
h_simdata->sleeping[channel] = process; /* I'm waiting. Wake me up when you're ready */
if(max_duration>0) {
__MSG_process_block(max_duration);