summaryrefslogtreecommitdiffstats
path: root/testsuites/sptests/spsem02/spsem02.scn
blob: 5b8d03d8ea3420c8ae7e7ca6fcf881f1a9f8c955 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
*** TEST SEM02 ***
init: S0 created
init: S1 created
init: TA01 created with priority 36
init: TA02 created with priority 34
init: TA03 created with priority 32
TA01: started with priority 36
TA01: priority 36, holding S0
TA01: priority 36, holding S0, S1
TA02: started with priority 34
TA03: started with priority 32
TA01: priority 32, holding S0, S1
TA01: priority 32, holding S0
TA03: priority 32, holding S0
TA03: priority 32
TA03: exiting
TA02: priority 34, holding S1
TA02: exiting
TA01: priority 36
TA01: exiting
*** END OF SEM02 ***