if (parse_cmdline(&timings, &downgrade, &platformFile, argc, argv) || !platformFile) {
xbt_die("Invalid command line arguments: expected [--timings|--downgrade] platformFile");
}
-
+
XBT_DEBUG("%d,%d,%s", timings, downgrade, platformFile);
if (downgrade) {