remove old release sequences

[c11tester.git] / pthread.cc

diff --git a/pthread.cc b/pthread.cc
index 723e60b578c161e1a42c78bb828cd4b95ddc494e..e5bc9018477a469288cb60235a8661ad31012d28 100644 (file)
--- a/pthread.cc
+++ b/pthread.cc
@@ -17,14 +17,11 @@
 static void param_defaults(struct model_params *params)
 {
         params->maxreads = 0;
-        params->maxfuturedelay = 6;
         params->fairwindow = 0;
         params->yieldon = false;
         params->yieldblock = false;
         params->enabledcount = 1;
         params->bound = 0;
-        params->maxfuturevalues = 0;
-        params->expireslop = 4;
         params->verbose = !!DBG_ENABLED();
         params->uninitvalue = 0;
         params->maxexecutions = 0;