diff options
-rw-r--r-- | testsuite/driver/testlib.py | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/testsuite/driver/testlib.py b/testsuite/driver/testlib.py index 1c6668ddc9..f26f9e0cc9 100644 --- a/testsuite/driver/testlib.py +++ b/testsuite/driver/testlib.py @@ -213,11 +213,6 @@ def record_broken(name, opts, bug): if not me in brokens: brokens.append(me) -def broken_without_gmp(name, opts): - # Many tests sadly break with integer-simple due to GHCi's ignorance of it. - when(config.integer_backend != "integer-gmp", - expect_broken(16043)) - def _expect_pass(way): # Helper function. Not intended for use in .T files. opts = getTestOpts() @@ -465,6 +460,10 @@ def have_gdb( ): def have_readelf( ): return config.have_readelf +# Many tests sadly break with integer-simple due to GHCi's ignorance of it. +broken_without_gmp = when(config.integer_backend != "integer-gmp", + expect_broken(16043)) + # --- def high_memory_usage(name, opts): |