diff options
Diffstat (limited to 'testsuites/sptests/spsem01/spsem01.scn')
| -rw-r--r-- | testsuites/sptests/spsem01/spsem01.scn | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/testsuites/sptests/spsem01/spsem01.scn b/testsuites/sptests/spsem01/spsem01.scn new file mode 100644 index 0000000000..35e6b94fc5 --- /dev/null +++ b/testsuites/sptests/spsem01/spsem01.scn @@ -0,0 +1,15 @@ +*** BEGIN OF TEST SPSEM 1 *** +init: S0 created +init: S1 created +init: TA01 created with priority 36 +init: TA02 created with priority 34 +TA01: started with priority 36 +TA01: priority 36, holding S0 +TA01: priority 36, holding S0, S1 +TA02: started with priority 34 +TA01: priority 34, holding S0 +TA02: priority 34, holding S1 +TA02: suspending +TA01: priority 36 +TA01: exiting +*** END OF TEST SPSEM 1 *** |