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