/* load the DOT file and schedule tasks */
dot = SD_dotload_with_sched(argv[2]);
- if(dot == NULL){
- XBT_INFO("The dot file with the provided scheduling is wrong, more information with the option : --log=sd_dotparse.thres:verbose");
- return -1;
+ if(!dot){
+ xbt_die("The dot file with the provided scheduling is wrong, more information with the option : --log=sd_dotparse.thres:verbose");
+ //return 0;
}
/* Display all the tasks */
("------------------- 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) {