Revert "testsuite: Fix broken_without_gmp"
authorBen Gamari <ben@smart-cactus.org>
Sun, 23 Dec 2018 18:45:24 +0000 (13:45 -0500)
committerBen Gamari <ben@smart-cactus.org>
Sun, 23 Dec 2018 18:45:24 +0000 (13:45 -0500)
This reverts commit e59439af3222d151918ad1ad2a03942ce9e6a1ff.

This is causing unexpected failures in some test ways. Further proof
that no change is too trivial for CI.

testsuite/driver/testlib.py

index f26f9e0..1c6668d 100644 (file)
@@ -213,6 +213,11 @@ 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()
@@ -460,10 +465,6 @@ 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):