Commit a0b9d42b authored by Ben Gamari's avatar Ben Gamari 🐢

Revert "testsuite: Fix broken_without_gmp"

This reverts commit e59439af.

This is causing unexpected failures in some test ways. Further proof
that no change is too trivial for CI.
parent e59439af
......@@ -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):
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment