snapshot: clean up fork-based error handling

[model-checker.git] / main.cc

diff --git a/main.cc b/main.cc
index 4f37390e163d9fdc80e5197a462bf2d8551601be..6459f139d7b01e78ad8b7c3fcfb4ca6cfd26a451 100644 (file)
--- a/main.cc
+++ b/main.cc
@@ -16,13 +16,13 @@
 static void param_defaults(struct model_params *params)
 {
        params->maxreads = 0;
-       params->maxfuturedelay = 10;
+       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;
 }