From 04d2bd9edc52c9b08e582046181f0750f8c45783 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Thu, 21 Mar 2013 23:24:15 -0700
Subject: [PATCH] main: adjust defaults again

-s 6 -S 4
---
 main.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/main.cc b/main.cc
index 4f37390..6459f13 100644
--- a/main.cc
+++ b/main.cc
@@ -16,13 +16,13 @@
 static void param_defaults(struct model_params *params)
 {
 	params->maxreads = 0;
-	params->maxfuturedelay = 10;
+	params->maxfuturedelay = 6;
 	params->fairwindow = 0;
 	params->yieldon = false;
 	params->enabledcount = 1;
 	params->bound = 0;
 	params->maxfuturevalues = 0;
-	params->expireslop = 10;
+	params->expireslop = 4;
 	params->verbose = !!DBG_ENABLED();
 	params->uninitvalue = 0;
 }
-- 
2.34.1