void runBatchMetrics(int argc, char *argv[])
Run the program in batch mode.
Definition: run_modes.cc:18
void runInteractiveMode(char *name_of_showcased)
Run the program in interactive mode (aka interactive mode)
Definition: run_modes.cc:143
void runSingleMetrics(int argc, char *argv[])
Process a trace file from a single config run (config from cmd args)
Definition: run_modes.cc:108