diff options
Diffstat (limited to 'testsuites/sptests/spsem01/spsem01.scn')
| -rw-r--r-- | testsuites/sptests/spsem01/spsem01.scn | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/testsuites/sptests/spsem01/spsem01.scn b/testsuites/sptests/spsem01/spsem01.scn index 8b0a59a228..35e6b94fc5 100644 --- a/testsuites/sptests/spsem01/spsem01.scn +++ b/testsuites/sptests/spsem01/spsem01.scn @@ -1,4 +1,4 @@ -*** TEST SEM01 *** +*** BEGIN OF TEST SPSEM 1 *** init: S0 created init: S1 created init: TA01 created with priority 36 @@ -7,10 +7,9 @@ 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: exiting -TA01: priority 36, holding S0 +TA02: suspending TA01: priority 36 TA01: exiting -*** END OF SEM01 *** - +*** END OF TEST SPSEM 1 *** |