diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2022-07-21 06:29:28 -0400 |
|---|---|---|
| committer | Zubin Duggal <zubin.duggal@gmail.com> | 2022-07-26 16:28:49 +0530 |
| commit | e3a33326e8e270c425f3c6b206820532ff33f8ca (patch) | |
| tree | d7b8a5bdbd6cd59cf37107a77a64e126955302f1 | |
| parent | 5e8950f7f5e04e36cc3139d0cdd3659d5f0917ee (diff) | |
| download | haskell-e3a33326e8e270c425f3c6b206820532ff33f8ca.tar.gz | |
testsuite: introduce nonmoving_thread_sanity way
(cherry picked from commit 19f8fce3659de3d72046bea9c61d1a82904bc4ae)
| -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 73fb1199ca..95f820f2e2 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', ] @@ -51,6 +52,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 @@ -108,6 +110,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': [], @@ -152,6 +155,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'], |