diff options
| -rw-r--r-- | testsuite/driver/testlib.py | 5 | ||||
| -rw-r--r-- | testsuite/tests/rts/all.T | 3 |
2 files changed, 6 insertions, 2 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; diff --git a/testsuite/tests/rts/all.T b/testsuite/tests/rts/all.T index f345b3b0a3..a592d96be1 100644 --- a/testsuite/tests/rts/all.T +++ b/testsuite/tests/rts/all.T @@ -166,7 +166,6 @@ test('stablename001', expect_fail_for(['hpc']), compile_and_run, ['']) # hpc should fail this, because it tags every variable occurrence with # a different tick. It's probably a bug if it works, hence expect_fail. -# Run this test alone (via, high_memory_usage) to increase chances of seeing the race. -test('T7815', [ high_memory_usage, +test('T7815', [ multi_cpu_race, extra_run_opts('50000 +RTS -N2 -RTS'), only_ways(['threaded1', 'threaded2']) ], compile_and_run, [''] ) |