- if (argc < 3) {
- XBT_INFO("Usage: %s platform_file dax_file [jedule_file]", argv[0]);
- XBT_INFO
- ("example: %s simulacrum_7_hosts.xml Montage_25.xml Montage_25.jed",
- argv[0]);
- exit(1);
- }
- char *tracefilename;
- if (argc == 3) {
- char *last = strrchr(argv[2], '.');
-
- tracefilename = bprintf("%.*s.jed",
- (int) (last ==
- NULL ? strlen(argv[2]) : last -
- argv[2]), argv[2]);
- } else {
+ xbt_assert(argc > 2, "Usage: %s platform_file dax_file [jedule_file]\n"
+ "\tExample: %s simulacrum_7_hosts.xml Montage_25.xml Montage_25.jed",
+ argv[0], argv[0]);
+
+ char *last = strrchr(argv[2], '.');
+ char * tracefilename = bprintf("%.*s.jed",(int) (last == NULL ?
+ strlen(argv[2]) :
+ last - argv[2]), argv[2]);
+ if (argc == 4)