("------------------- Produce the trace file---------------------------");
XBT_INFO("Producing the trace of the run into %s", tracefilename);
FILE *out = fopen(tracefilename, "w");
- xbt_assert1(out, "Cannot write to %s", tracefilename);
+ xbt_assert(out, "Cannot write to %s", tracefilename);
free(tracefilename);
xbt_dynar_foreach(dot, cursor, task) {
SD_task_get_name(task));
break;
default:
- xbt_die(bprintf
- ("Task %s is of unknown kind %d", SD_task_get_name(task),
- SD_task_get_kind(task)));
+ xbt_die("Task %s is of unknown kind %d", SD_task_get_name(task),
+ SD_task_get_kind(task));
}
SD_task_destroy(task);
}