diff options
author | Ian Lynagh <ian@well-typed.com> | 2013-04-17 20:43:49 +0100 |
---|---|---|
committer | Ian Lynagh <ian@well-typed.com> | 2013-04-17 20:43:49 +0100 |
commit | e47e6644b019dceade41ca050c5e852b6da8f35c (patch) | |
tree | 139988ca18225906910f2233b7d75b86b090e44a /testsuite/driver | |
parent | 3ad224cd0350f607aa6dbcf5d6fffa7a05535746 (diff) | |
download | haskell-e47e6644b019dceade41ca050c5e852b6da8f35c.tar.gz |
Add a multi_cpu_race helper
This makes the test run alone, to increase the chance of a
multi-CPU race happening.
Diffstat (limited to 'testsuite/driver')
-rw-r--r-- | testsuite/driver/testlib.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/testsuite/driver/testlib.py b/testsuite/driver/testlib.py index cde55f32c9..d804e2fffa 100644 --- a/testsuite/driver/testlib.py +++ b/testsuite/driver/testlib.py @@ -387,6 +387,11 @@ def _namebase( opts, nb ): def high_memory_usage(name, opts): opts.alone = True +# If a test is for a multi-CPU race, then running the test alone +# increases the chance that we'll actually see it. +def multi_cpu_race(name, opts): + opts.alone = True + # --- def literate( name, opts ): opts.literate = 1; |