params->bound = 0;
params->maxfuturevalues = 0;
params->expireslop = 10;
- params->verbose = 0;
+ params->verbose = !!DBG_ENABLED();
}
static void print_usage(struct model_params *params)
redirect_output();
/* Let's jump in quickly and start running stuff */
- initSnapshotLibrary(10000, 1024, 1024, 4000, &model_main);
+ snapshot_system_init(10000, 1024, 1024, 4000, &model_main);
}