Warning, /testsuites/sptests/spsem02/spsem02.scn is written in an unsupported language. File is not indexed.
0001 *** BEGIN OF TEST SPSEM 2 ***
0002 init: S0 created
0003 init: S1 created
0004 init: TA01 created with priority 36
0005 init: TA02 created with priority 34
0006 init: TA03 created with priority 32
0007 TA01: started with priority 36
0008 TA01: priority 36, holding S0
0009 TA01: priority 36, holding S0, S1
0010 TA02: started with priority 34
0011 TA03: started with priority 32
0012 TA01: priority 32, holding S0, S1
0013 TA01: priority 32, holding S0
0014 TA03: priority 32, holding S0
0015 TA03: priority 32
0016 TA03: exiting
0017 TA02: priority 34, holding S1
0018 TA02: suspending
0019 TA01: priority 36
0020 TA01: exiting
0021 *** END OF TEST SPSEM 2 ***
