From 90ef0247c8d0cb26b78e66e553ec8097fd1b9f0d Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Tue, 6 Nov 2012 19:10:53 -0800
Subject: [PATCH] main: change default future value sloppiness
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.
---
main.cc | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/main.cc b/main.cc
index 1aafb69..fb4acbe 100644
--- a/main.cc
+++ b/main.cc
@@ -21,7 +21,7 @@ static void param_defaults(struct model_params * params) {
params->enabledcount = 1;
params->bound = 0;
params->maxfuturevalues = 0;
- params->expireslop = 2;
+ params->expireslop = 10;
}
static void print_usage(struct model_params *params) {
--
2.34.1