diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-06-03 16:58:39 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-06-03 16:59:09 -0400 |
| commit | a929cf6933fdecbf1f1a8fc3bd12afd8dd59704c (patch) | |
| tree | 130057a4aedd576c166b2b5143c4a0db169d434b /contrib/run-script-smtcomp2015 | |
| parent | d363ad0cfd7835220bb6cc3265ea2274deba9479 (diff) | |
runscript thread stack 256
Diffstat (limited to 'contrib/run-script-smtcomp2015')
| -rw-r--r-- | contrib/run-script-smtcomp2015 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/run-script-smtcomp2015 b/contrib/run-script-smtcomp2015 index 4cfe5acd9..3fc8ccec5 100644 --- a/contrib/run-script-smtcomp2015 +++ b/contrib/run-script-smtcomp2015 @@ -82,7 +82,7 @@ QF_ABV) finishwith --ite-simp --simp-with-care --repeat-simp ;; QF_BV) - exec ./pcvc4 -L smt2 --no-incremental --no-checking --no-interactive \ + exec ./pcvc4 -L smt2 --no-incremental --no-checking --no-interactive --thread-stack=256 \ --threads 2 \ --thread0 '--unconstrained-simp --bv-div-zero-const --bv-intro-pow2 --bitblast=eager --no-bv-abstraction' \ --thread1 '--unconstrained-simp --bv-div-zero-const --bv-intro-pow2 --bv-eq-slicer=auto ' \ |