X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=main.cc;fp=main.cc;h=4f37390e163d9fdc80e5197a462bf2d8551601be;hb=039df16782babb6f960c65795413f85f533667ac;hp=a10bec364c0633ee569306b89243b3f1283fc3d6;hpb=d38fde1f52b826ebb760236bdd5f23f69069ede9;p=model-checker.git

diff --git a/main.cc b/main.cc
index a10bec3..4f37390 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;