From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Tue, 4 Feb 2020 00:42:31 +0000 (-0800)
Subject: Increase regression test time limit to 1200s. (#3704)
X-Git-Tag: cvc5-1.0.0~3687
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b2fad75b845de71d030705b3c3672009f1e4c2a4;p=cvc5.git

Increase regression test time limit to 1200s. (#3704)

Fixes #3565.
---

diff --git a/test/regress/run_regression.py b/test/regress/run_regression.py
index 8e9261ec2..2a0144c13 100755
--- a/test/regress/run_regression.py
+++ b/test/regress/run_regression.py
@@ -401,7 +401,7 @@ def main():
     if os.environ.get('VALGRIND') == '1' and not wrapper:
         wrapper = ['libtool', '--mode=execute', 'valgrind']
 
-    timeout = float(os.getenv('TEST_TIMEOUT', 600.0))
+    timeout = float(os.getenv('TEST_TIMEOUT', 1200.0))
 
     return run_regression(args.enable_proof, args.with_lfsc, args.dump,
                           args.use_skip_return_code, wrapper, cvc4_binary,