blob: 807cb85e815e22817ac4b2f07474e7e2cf53d6a4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
test('maessen_hashtab',
[reqlib('QuickCheck'),
extra_clean(['HashTest.hi', 'HashTest.o',
'Data/HashTab.hi', 'Data/HashTab.o']),
skip_if_fast,
# this test runs out of time when not optimised:
omit_ways(['normal','ghci','threaded1']),
extra_run_opts('99999')],
multimod_compile_and_run, ['HashTest', '-cpp'])
|
