runscript thread stack 256

diff --git a/contrib/run-script-smtcomp2015 b/contrib/run-script-smtcomp2015
index 4cfe5acd94fab35f128fc1fd3b75f9fef0857399..3fc8ccec5bc45cd09a28464b1faeb8d317752520 100644 (file)
--- 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 ' \