main: change default 'future delay' for promise expiration

[model-checker.git] / main.cc

diff --git a/main.cc b/main.cc
index fd9536785bf763fc85e87e923f19e137ff8a1122..4f37390e163d9fdc80e5197a462bf2d8551601be 100644 (file)
--- 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;
@@ -35,6 +35,8 @@ static void print_usage(struct model_params *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"