+
+ const std::string outputfile(argv[2]);
+ const std::string extension = outputfile.substr(outputfile.find_last_of(".") + 1);
+ if(extension == "csv") {
+ printf("Dumping to CSV file\n");
+ simgrid::instr::platform_graph_export_csv(outputfile);
+ }
+ else if(extension == "dot") {
+ printf("Dumping to DOT file\n");
+ simgrid::instr::platform_graph_export_graphviz(outputfile);
+ }
+ else {
+ xbt_assert(false, "Unknown output file format, please use '.dot' or .csv' extension\n");
+ }