1test('stm046', [], compile_and_run, [''])
2test('stm047', [], compile_and_run, [''])
3test('stm048', [], compile_and_run, [''])
4
5# The above tests don't require 'stm', but the ones below do.
6setTestOpts(reqlib('stm'))
7
8test('stm049', [reqlib('random')], compile_and_run, ['-package stm'])
9test('stm050', [extra_run_opts('10000')], compile_and_run, ['-package stm'])
10
11test('stm052', [reqlib('random')], compile_and_run, ['-package stm'])
12
13test('stm053', [ reqlib('random'),
14                 only_ways(['threaded1','threaded2']),
15                 when(platform('i386-unknown-mingw32'), skip) ],
16               compile_and_run, ['-package stm'])
17test('stm054', normal, compile_and_run, ['-package stm'])
18test('stm055', exit_code(1), compile_and_run, ['-package stm'])
19test('stm056', only_ways(['threaded1','threaded2']),
20                compile_and_run, ['-package stm'])
21
22test('stm061', normal, compile_and_run, ['-package stm'])
23test('T2411', ignore_stdout, compile_and_run, ['-package stm'])
24test('stm064', normal, compile_and_run, ['-package stm'])
25test('stm065', normal, compile_and_run, ['-package stm'])
26test('cloneTChan001', normal, compile_and_run, ['-package stm'])
27
28test('T15136', extra_run_opts('20'), compile_and_run, ['-package stm'])
29test('T16707', normal, compile_and_run, [''])
30