X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=main.cc;h=6459f139d7b01e78ad8b7c3fcfb4ca6cfd26a451;hb=7921811e8bd7bba2cdd892434a58ec7254ae0f99;hp=ab37af4cc02fa3368906ff8537ce56dd637d9d98;hpb=ea4611c1fc3b580020afbc04d531e4bc10fcca9c;p=model-checker.git

diff --git a/main.cc b/main.cc
index ab37af4..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 = 100;
+	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;
 }
@@ -33,6 +33,10 @@ static void print_usage(struct model_params *params)
 	param_defaults(params);
 
 	model_print(
+"Copyright (c) 2013 Regents of the University of California. All rights reserved.\n"
+"Distributed under the GPLv2\n"
+"Written by Brian Norris and Brian Demsky\n"
+"\n"
 "Usage: <program name> [MC_OPTIONS] -- [PROGRAM ARGUMENTS]\n"
 "\n"
 "Options:\n"