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