diff options
Diffstat (limited to 'testsuites/sptests/spsem02/spsem02.scn')
| -rw-r--r-- | testsuites/sptests/spsem02/spsem02.scn | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/testsuites/sptests/spsem02/spsem02.scn b/testsuites/sptests/spsem02/spsem02.scn new file mode 100644 index 0000000000..ab8c7ce139 --- /dev/null +++ b/testsuites/sptests/spsem02/spsem02.scn @@ -0,0 +1,21 @@ +*** BEGIN OF TEST SPSEM 2 *** +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: suspending +TA01: priority 36 +TA01: exiting +*** END OF TEST SPSEM 2 *** |