diff options
author | Ben Gamari <ben@smart-cactus.org> | 2022-07-21 06:29:28 -0400 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-07-25 23:32:05 -0400 |
commit | 82a0991a73130f2cb70bd8ccaaff30cffd1dd2b0 (patch) | |
tree | 741987797e3d06e985f5cab93a1833b6f0f8e6e4 /testsuite | |
parent | 2869b66d49f1d225c8800909176ec3ca67ae8f9d (diff) | |
download | haskell-82a0991a73130f2cb70bd8ccaaff30cffd1dd2b0.tar.gz |
testsuite: introduce nonmoving_thread_sanity way
(cherry picked from commit 19f8fce3659de3d72046bea9c61d1a82904bc4ae)
Diffstat (limited to 'testsuite')
-rw-r--r-- | testsuite/config/ghc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/testsuite/config/ghc b/testsuite/config/ghc index c4d5a60e11..a802698071 100644 --- a/testsuite/config/ghc +++ b/testsuite/config/ghc @@ -29,6 +29,7 @@ config.other_ways = ['prof', 'normal_h', 'ext-interp', 'nonmoving', 'nonmoving_thr', + 'nonmoving_thr_sanity', 'nonmoving_thr_ghc', 'compacting_gc', ] @@ -47,6 +48,7 @@ if ghc_with_threaded_rts: config.run_ways.append('threaded2') if config.speed == 0: config.run_ways.append('nonmoving_thr') + config.run_ways.append('nonmoving_thr_sanity') if ghc_with_dynamic_rts: config.supports_dynamic_libs = True @@ -101,6 +103,7 @@ config.way_flags = { 'ext-interp' : ['-fexternal-interpreter'], 'nonmoving' : [], 'nonmoving_thr': ['-threaded'], + 'nonmoving_thr_sanity': ['-threaded', '-debug'], 'nonmoving_thr_ghc': ['+RTS', '-xn', '-N2', '-RTS', '-threaded'], 'compacting_gc': [], 'winio': [], @@ -145,6 +148,7 @@ config.way_rts_flags = { 'ext-interp' : [], 'nonmoving' : ['-xn'], 'nonmoving_thr' : ['-xn', '-N2'], + 'nonmoving_thr_sanity' : ['-xn', '-N2', '-DS'], 'nonmoving_thr_ghc': ['-xn', '-N2'], 'compacting_gc': ['-c'], 'winio': ['--io-manager=native'], |