1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
test('unsafe_rts_pause',
[ only_ways(['threaded1', 'threaded2'])
, exit_code(1)
], compile_and_run, [''])
test('rts_lock_when_paused',
[ only_ways(['threaded1', 'threaded2'])
, exit_code(1)
, extra_files(['rts_pause_lock.c','rts_pause_lock.h'])
],
multi_compile_and_run, ['rts_lock_when_paused', [('rts_pause_lock.c','')], ''])
test('rts_pause_when_locked',
[ only_ways(['threaded1', 'threaded2'])
, exit_code(1)
, extra_files(['rts_pause_lock.c','rts_pause_lock.h'])
],
multi_compile_and_run, ['rts_pause_when_locked', [('rts_pause_lock.c','')], ''])
test('rts_double_pause',
[ only_ways(['threaded1', 'threaded2'])
, exit_code(1)
, extra_files(['rts_pause_lock.c','rts_pause_lock.h'])
],
multi_compile_and_run, ['rts_double_pause', [('rts_pause_lock.c','')], ''])
|
