X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=main.cc;h=fb4acbe75d6b530feabc4e76b111cc0f4bf4b29d;hb=6b87c110fbda87ccec4f58b1e292d5f9434c8691;hp=1aafb696c8f80bd5974957a47eb2c9e0b6324d51;hpb=b76705db31ea3cc095400bb870114ee92f834201;p=model-checker.git

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