From: Brian Norris <banorris@uci.edu>
Date: Wed, 7 Nov 2012 03:10:53 +0000 (-0800)
Subject: main: change default future value sloppiness
X-Git-Tag: oopsla2013~539^2^2~9
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=0c61b063738d57fdd655faa5f859f281425a97ca;p=model-checker.git

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.
---

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) {