1
2
3
4
5
6
7
8
9
10
|
setTestOpts(only_compiler_types(['ghc']))
test('SampleVar001', reqlib('QuickCheck'), compile_and_run, ['-package QuickCheck'])
test('4876', reqlib('random'), compile_and_run, ['']) # another SampleVar test
test('Chan001', reqlib('QuickCheck'), compile_and_run, ['-package QuickCheck'])
test('MVar001', reqlib('QuickCheck'), compile_and_run, ['-package QuickCheck'])
test('QSemN001', reqlib('QuickCheck'), compile_and_run, ['-package QuickCheck'])
test('QSem001', reqlib('QuickCheck'), compile_and_run, ['-package QuickCheck'])
test('ThreadDelay001', normal, compile_and_run, [''])
|
