/* load the DOT file and schedule tasks */
dot = SD_dotload_with_sched(argv[2]);
if(!dot){
+ SD_exit();
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 */