params->enabledcount = 1;
params->bound = 0;
params->maxfuturevalues = 0;
- params->expireslop = 2;
+ params->expireslop = 10;
}
static void print_usage(struct model_params *params) {
/* Reset defaults before printing */
param_defaults(params);
- printf(
+ model_print(
"Usage: <program name> [MC_OPTIONS] -- [PROGRAM ARGUMENTS]\n"
"\n"
"Options:\n"
model->finish_execution();
} while (model->next_execution());
+ model->print_stats();
+
delete model;
DEBUG("Exiting\n");