From: Brian Norris <banorris@uci.edu>
Date: Fri, 22 Mar 2013 01:05:04 +0000 (-0700)
Subject: main: change default 'future delay' for promise expiration
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=039df16782babb6f960c65795413f85f533667ac

main: change default 'future delay' for promise expiration

From 100 to 10, since 100 is kind of absurd, given the current program
length scalability.
---

diff --git a/main.cc b/main.cc
index a10bec36..4f37390e 100644
--- a/main.cc
+++ b/main.cc
@@ -16,7 +16,7 @@
 static void param_defaults(struct model_params *params)
 {
 	params->maxreads = 0;
-	params->maxfuturedelay = 100;
+	params->maxfuturedelay = 10;
 	params->fairwindow = 0;
 	params->yieldon = false;
 	params->enabledcount = 1;