summaryrefslogtreecommitdiffstats
path: root/testsuites/ada/sptests/sp07/ada_sp07.scn
diff options
context:
space:
mode:
Diffstat (limited to 'testsuites/ada/sptests/sp07/ada_sp07.scn')
-rw-r--r--testsuites/ada/sptests/sp07/ada_sp07.scn23
1 files changed, 23 insertions, 0 deletions
diff --git a/testsuites/ada/sptests/sp07/ada_sp07.scn b/testsuites/ada/sptests/sp07/ada_sp07.scn
new file mode 100644
index 0000000000..9748dda74c
--- /dev/null
+++ b/testsuites/ada/sptests/sp07/ada_sp07.scn
@@ -0,0 +1,23 @@
+*** TEST 7 ***
+TASKS_CREATE - TA1 - created.
+TASKS_CREATE - TA2 - created.
+TASKS_CREATE - TA3 - created.
+TASKS_CREATE - TA4 - created.
+TASKS_START - TA1 - started.
+TASKS_START - TA2 - started.
+TASKS_START - TA3 - started.
+TASKS_START - TA4 - started.
+TASKS_RESTART - TA3 - restarted.
+<pause>
+TA1 - task_set_priority - get initial priority of self: 4
+TA1 - task_set_priority - set TA2's priority: 3
+TA2 - task_set_priority - set TA1's priority: 2
+TA1 - task_set_priority - set TA2's priority: 1
+TA2 - task_suspend - suspend TA1
+TA2 - task_set_priority - set priority of TA1 ( blocked )
+TASKS_DELETE - TA2 deleting TA1
+TASKS_DELETE - TA2 deleting TA3
+TASKS_DELETE - TA2 deleting TA2
+TA4 - exitting task
+TASK_EXITTED - user extension invoked correctly
+*** END OF TEST 7 ***