diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-02-03 16:42:31 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-03 16:42:31 -0800 |
| commit | b2fad75b845de71d030705b3c3672009f1e4c2a4 (patch) | |
| tree | 8b1c2f83cb243fe1aa45226c0b3d5675fb790d1a | |
| parent | 6118996ec32a66fb8a62f42c79b093fdf82b9ef6 (diff) | |
Increase regression test time limit to 1200s. (#3704)
Fixes #3565.
| -rwxr-xr-x | test/regress/run_regression.py | 2 |
1 files changed, 1 insertions, 1 deletions
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, |