-/* Copyright (c) 2008-2022. The SimGrid Team.
+/* Copyright (c) 2008-2023. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
xbt_assert(argc == 3, "Usage: %s <platform_file.xml> <graphviz_file.dot|graphviz_file.csv>", argv[0]);
e.load_platform(argv[1]);
+ e.seal_platform();
const std::string outputfile(argv[2]);
const std::string extension = outputfile.substr(outputfile.find_last_of(".") + 1);
simgrid::instr::platform_graph_export_graphviz(outputfile);
}
else {
- xbt_assert(false, "Unknown output file format, please use '.dot' or .csv' extension\n");
+ xbt_die("Unknown output file format, please use '.dot' or .csv' extension");
}
return 0;
}