diff options
author | Edward Z. Yang <ezyang@mit.edu> | 2012-09-25 12:12:26 -0700 |
---|---|---|
committer | Edward Z. Yang <ezyang@mit.edu> | 2012-09-25 12:12:26 -0700 |
commit | a00389794b839971c7d52ead9e8570bfaa25ac55 (patch) | |
tree | 4f1b149d0e4be6f30d0aff5001fb4d0ce3443258 /testsuite/driver/testglobals.py | |
parent | 48b4b88d74b01dcc421d9ddda07c966966c8311b (diff) | |
download | haskell-a00389794b839971c7d52ead9e8570bfaa25ac55.tar.gz |
Add support for per-test timeout adjustment (timeout_multiplier), and tighten up #367 test.
Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
Diffstat (limited to 'testsuite/driver/testglobals.py')
-rw-r--r-- | testsuite/driver/testglobals.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/testsuite/driver/testglobals.py b/testsuite/driver/testglobals.py index d7e63d1c87..3f714f30d2 100644 --- a/testsuite/driver/testglobals.py +++ b/testsuite/driver/testglobals.py @@ -255,6 +255,9 @@ class TestOptions: # Should we redirect stdout and stderr to a single file? self.combined_output = False + # How should the timeout be adjusted on this test? + self.timeout_multiplier = 1.0 + # The default set of options global default_testopts default_testopts = TestOptions() |