cout<<" This file may be present in \"config\" folder. If so, please run destiny from that folder, otherwise, change the file name to include folder location.\n";
cout<<endl<<"Full design space exploration ... might take hours"<<endl;
cout<<endl<<"Full design space exploration ... might take hours and will produce a csv"<<endl;
cout<<"If you are interested in optimizing for a single metric only, please change -OptimizationTarget in *cfg file, for example \n -OptimizationTarget: WriteEDP"<<endl;
}else{
cout<<endl<<"Searching for the best solution that is optimized for ";
cout<<" This file may be present in \"config\" folder. If so, please run destiny from that folder, otherwise, change the file name to include folder location.\n";