Future value sloppiness should be set somewhat in proportion to
maxfuturedelay, and we need a value higher than 2. Set to 10 for now,
although we may change this later.
params->enabledcount = 1;
params->bound = 0;
params->maxfuturevalues = 0;
params->enabledcount = 1;
params->bound = 0;
params->maxfuturevalues = 0;
- params->expireslop = 2;
+ params->expireslop = 10;
}
static void print_usage(struct model_params *params) {
}
static void print_usage(struct model_params *params) {