static void dump_hosts()
{
- std::unordered_map<std::string, std::string>* props = nullptr;
unsigned int totalHosts = sg_host_count();
sg_host_t* hosts = sg_host_list();
std::sort(hosts, hosts + totalHosts,
for (unsigned int i = 0; i < totalHosts; i++) {
std::printf(" <host id=\"%s\" speed=\"%.0f\"", hosts[i]->get_cname(), sg_host_speed(hosts[i]));
- props = hosts[i]->get_properties();
+ const std::unordered_map<std::string, std::string>* props = hosts[i]->get_properties();
if (hosts[i]->get_core_count() > 1) {
std::printf(" core=\"%d\"", hosts[i]->get_core_count());
}
SD_init(&argc, argv);
- xbt_assert(parse_cmdline(&timings, &platformFile, argc, argv) && platformFile,
- "Invalid command line arguments: expected [--timings] platformFile");
+ if (not parse_cmdline(&timings, &platformFile, argc, argv) || not platformFile)
+ xbt_die("Invalid command line arguments: expected [--timings] platformFile");
XBT_DEBUG("%d,%s", timings, platformFile);