if(!dot){
XBT_CRITICAL("The dot file with the provided scheduling is wrong,"
" more information with the option : --log=sd_dotparse.thres:verbose");
if(!dot){
XBT_CRITICAL("The dot file with the provided scheduling is wrong,"
" more information with the option : --log=sd_dotparse.thres:verbose");