From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Sat, 14 Dec 2013 00:12:31 +0000 (-0500)
Subject: Fix stack size on in-tree regressions.
X-Git-Tag: cvc5-1.0.0~6987^2~33
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c36f77919ca8e0644d66de467bb9cd614fe6a93e;p=cvc5.git

Fix stack size on in-tree regressions.
---

diff --git a/test/regress/run_regression b/test/regress/run_regression
index b5116071a..4d23e796b 100755
--- a/test/regress/run_regression
+++ b/test/regress/run_regression
@@ -11,6 +11,7 @@
 #
 
 # ulimit -t 1    # For detecting long running regressions
+ulimit -s 10240  # Needed for some (esp. portfolio)
 
 prog=`basename "$0"`