Warning, /testsuites/ada/sptests/sp09/ada_sp09.scn is written in an unsupported language. File is not indexed.
0001 *** TEST 9 ***
0002 INIT - task_create - INVALID_PRIORITY
0003 INIT - task_restart - INCORRECT_STATE
0004 TA1 - task_delete - INVALID_ID
0005 TA1 - task_ident - current task SUCCESSFUL
0006 TA1 - task_ident - global INVALID_NAME
0007 TA1 - task_ident - local INVALID_NAME
0008 TA1 - task_ident - INVALID_NODE
0009 TA1 - task_restart - INVALID_ID
0010 TA1 - task_resume - INVALID_ID
0011 TA1 - task_resume - INCORRECT_STATE
0012 TA1 - task_set_priority - INVALID_PRIORITY
0013 TA1 - task_set_priority - INVALID_ID
0014 TA1 - task_start - INVALID_ID
0015 TA1 - task_start - INCORRECT_STATE
0016 TA1 - task_suspend - INVALID_ID
0017 <pause - screen 2>
0018 TA1 - clock_get - NOT_DEFINED
0019 TA1 - task_wake_when - NOT_DEFINED
0020 TA1 - timer_fire_when - NOT_DEFINED
0021 TA1 - clock_set - 8:30:45 2/ 5/1987 - INVALID_CLOCK
0022 TA1 - clock_set - 8:30:45 15/ 5/1988 - INVALID_CLOCK
0023 TA1 - clock_set - 8:30:45 2/32/1988 - INVALID_CLOCK
0024 TA1 - clock_set - 25:30:45 2/ 5/1988 - INVALID_CLOCK
0025 TA1 - clock_set - 8:61:45 2/ 5/1988 - INVALID_CLOCK
0026 TA1 - clock_set - 8:30:61 2/ 5/1988 - INVALID_CLOCK
0027 TA1 - clock_set - 8:30:45 2/ 5/1988 - INVALID_CLOCK
0028 TA1 - clock_set - 8:30:45 2/ 5/1988 - SUCCESSFUL
0029 TA1 - task_wake_when - TICK INVALID - sleep about 3 seconds
0030 TA1 - task_wake_when - TICK INVALID - woke up SUCCESSFUL
0031 TA1 - task_wake_when - 8:30:48 2/ 5/1961 - INVALID_CLOCK
0032 TA1 - task_wake_when - 25:30:48 2/ 5/1988 - INVALID_CLOCK
0033 TA1 - current time - 8:30:48 2/ 5/1988
0034 TA1 - task_wake_when - 8:30:48 1/ 5/1988 - INVALID_CLOCK
0035 <pause - screen 3>
0036 TA1 - task_create - INVALID_NAME
0037 TA1 - task_create - stack size - UNSATISFIED
0038 TA1 - task_create - TA2 created - SUCCESSFUL
0039 TA1 - task_suspend - suspend TA2 - SUCCESSFUL
0040 TA1 - task_suspend - suspend TA2 - ALREADY_SUSPENDED
0041 TA1 - task_resume - TA2 resumed - SUCCESSFUL
0042 TA1 - task_create - TA3 created - SUCCESSFUL
0043 TA1 - task_create - 4 created - SUCCESSFUL
0044 TA1 - task_create - 5 created - SUCCESSFUL
0045 TA1 - task_create - 6 created - SUCCESSFUL
0046 TA1 - task_create - 7 created - SUCCESSFUL
0047 TA1 - task_create - 8 created - SUCCESSFUL
0048 TA1 - task_create - 9 created - SUCCESSFUL
0049 TA1 - task_create - 10 created - SUCCESSFUL
0050 TA1 - task_create - 11 - TOO_MANY
0051 TA1 - task_create - MP_NOT_CONFIGURED
0052 <pause - screen 4>
0053 TA1 - event_receive - UNSATISFIED ( all conditions )
0054 TA1 - event_receive - UNSATISFIED ( any conditions )
0055 TA1 - event_receive - timeout in 3 seconds
0056 TA1 - event_receive - woke with TIMEOUT
0057 TA1 - event_send - INVALID_ID
0058 TA1 - task_wake_after - sleep 1 second - SUCCESSFUL
0059 TA1 - clock_set - 8:30:45 2/ 5/1988 - SUCCESSFUL
0060 <pause - screen 5>
0061 TA1 - semaphore_create - INVALID_NAME
0062 TA1 - semaphore_create - 1 - SUCCESSFUL
0063 TA1 - semaphore_create - 2 - SUCCESSFUL
0064 TA1 - semaphore_create - 3 - TOO_MANY
0065 TA1 - semaphore_create - NOT_DEFINED
0066 TA1 - semaphore_create - NOT_DEFINED
0067 TA1 - semaphore_create - INVALID_NUMBER
0068 TA1 - semaphore_create - MP_NOT_CONFIGURED
0069 TA1 - semaphore_delete - unknown INVALID_ID
0070 TA1 - semaphore_delete - local INVALID_ID
0071 TA1 - semaphore_ident - global INVALID_NAME
0072 TA1 - semaphore_ident - local INVALID_NAME
0073 <pause - screen 6>
0074 TA1 - semaphore_obtain - INVALID_ID
0075 TA1 - semaphore_obtain - got sem 1 - SUCCESSFUL
0076 TA1 - semaphore_obtain - UNSATISFIED
0077 TA1 - semaphore_obtain - timeout in 3 seconds
0078 TA1 - semaphore_obtain - woke with TIMEOUT
0079 TA1 - semaphore_release - NOT_OWNER_OF_RESOURCE
0080 TA1 - semaphore_release - INVALID_ID
0081 TA1 - task_start - start TA2 - SUCCESSFUL
0082 TA1 - task_wake_after - yield processor - SUCCESSFUL
0083 TA2 - semaphore_obtain - sem 1 - WAIT FOREVER
0084 TA1 - semaphore_delete - delete sem 1 - SUCCESSFUL
0085 TA1 - semaphore_obtain - binary semaphore
0086 TA1 - semaphore_delete - delete sem 2 - RESOURCE_IN_USE
0087 TA1 - task_wake_after - yield processor - SUCCESSFUL
0088 TA2 - semaphore_obtain - woke up with OBJECT_WAS_DELETED
0089 TA2 - task_delete - delete self - SUCCESSFUL
0090 TA1 - task_delete TA2 - already deleted INVALID_ID
0091 <pause - screen 7>
0092 TA1 - message_queue_broadcast - INVALID_ID
0093 TA1 - message_queue_create - Q 1 - INVALID_NAME
0094 TA1 - message_queue_create - Q 1 - MP_NOT_CONFIGURED
0095 TA1 - message_queue_create - Q 1 - 2 DEEP - SUCCESSFUL
0096 TA1 - message_queue_create - Q 2 - TOO_MANY
0097 TA1 - message_queue_delete - unknown INVALID_ID
0098 TA1 - message_queue_delete - local INVALID_ID
0099 TA1 - message_queue_ident - INVALID_NAME
0100 TA1 - message_queue_get_number_pending - INVALID_ID
0101 TA1 - message_queue_flush - INVALID_ID
0102 TA1 - message_queue_receive - INVALID_ID
0103 TA1 - message_queue_receive - Q 1 - UNSATISFIED
0104 TA1 - message_queue_receive - Q 1 - timeout in 3 seconds
0105 TA1 - message_queue_receive - Q 1 - woke up with TIMEOUT
0106 TA1 - message_queue_send - INVALID_ID
0107 TA1 - message_queue_send - BUFFER 1 TO Q 1 - SUCCESSFUL
0108 TA1 - message_queue_send - BUFFER 2 TO Q 1 - SUCCESSFUL
0109 TA1 - message_queue_send - BUFFER 3 TO Q 1 - TOO_MANY
0110 <pause - screen 8>
0111 TA1 - message_queue_delete - Q 1 - SUCCESSFUL
0112 TA1 - message_queue_create - Q 1 - 2 DEEP - SUCCESSFUL
0113 TA1 - message_queue_send - BUFFER 1 TO Q 1 - SUCCESSFUL
0114 TA1 - message_queue_send - BUFFER 2 TO Q 1 - SUCCESSFUL
0115 TA1 - message_queue_send - BUFFER 3 TO Q 1 - TOO_MANY
0116 TA1 - message_queue_delete - Q 1 - SUCCESSFUL
0117 TA1 - message_queue_create - Q 1 - 3 DEEP - SUCCESSFUL
0118 TA1 - message_queue_send - BUFFER 1 TO Q 1 - SUCCESSFUL
0119 TA1 - message_queue_send - BUFFER 2 TO Q 1 - SUCCESSFUL
0120 TA1 - message_queue_send - BUFFER 3 TO Q 1 - SUCCESSFUL
0121 TA1 - message_queue_send - BUFFER 4 TO Q 1 - TOO_MANY
0122 TA1 - message_queue_delete - Q 1 - SUCCESSFUL
0123 TA1 - message_queue_create - Q 1 - 3 DEEP - SUCCESSFUL
0124 TA1 - task_start - start TA3 - SUCCESSFUL
0125 TA1 - task_wake_after - yield processor - SUCCESSFUL
0126 TA3 - message_queue_receive - Q 1 - WAIT FOREVER
0127 TA1 - message_queue_delete - delete Q 1 - SUCCESSFUL
0128 TA1 - task_wake_after - yield processor - SUCCESSFUL
0129 TA3 - message_queue_receive - woke up with OBJECT_WAS_DELETED
0130 TA3 - task_delete - delete self - SUCCESSFUL
0131 <pause - screen 9>
0132 TA1 - port_create - INVALID_NAME
0133 TA1 - port_create - INVALID_ADDRESS
0134 TA1 - port_create - TOO_MANY
0135 TA1 - port_delete - INVALID_ID
0136 TA1 - port_ident - INVALID_NAME
0137 TA1 - port_internal_to_external - INVALID_ID
0138 TA1 - port_external_to_internal - INVALID_ID
0139 <pause - screen 10>
0140 TA1 - rate_monotonic_create - INVALID_NAME
0141 TA1 - rate_monotonic_create - SUCCESSFUL
0142 TA1 - rate_monotonic_create - TOO_MANY
0143 TA1 - rate_monotonic_ident - INVALID_NAME
0144 TA1 - rate_monotonic_period - unknown INVALID_ID
0145 TA1 - rate_monotonic_period - local INVALID_ID
0146 TA1 - rate_monotonic_period( STATUS ) - NOT_DEFINED
0147 TA1 - rate_monotonic_period - 100 ticks - SUCCESSFUL
0148 TA1 - rate_monotonic_period( STATUS ) - SUCCESSFUL
0149 TA1 - rate_monotonic_period( STATUS ) - TIMEOUT
0150 TA1 - rate_monotonic_cancel - unknown INVALID_ID
0151 TA1 - rate_monotonic_cancel - local INVALID_ID
0152 TA1 - rate_monotonic_cancel - SUCCESSFUL
0153 TA1 - rate_monotonic_period - 5 ticks - TIMEOUT
0154 TA1 - task_wake_after - yielding to TA4
0155 TA4 - rate_monotonic_cancel - NOT_OWNER_OF_RESOURCE
0156 TA4 - rate_monotonic_period - NOT_OWNER_OF_RESOURCE
0157 TA4 - task_delete - delete self - SUCCESSFUL
0158 TA1 - rate_monotonic_delete - unknown INVALID_ID
0159 TA1 - rate_monotonic_delete - local INVALID_ID
0160 TA1 - rate_monotonic_delete - SUCCESSFUL
0161 <pause - screen 11>
0162 TA1 - partition_create - INVALID_NAME
0163 TA1 - partition_create - length - INVALID_SIZE
0164 TA1 - partition_create - buffer size - INVALID_SIZE
0165 TA1 - partition_create - length < buffer size - INVALID_SIZE
0166 TA1 - partition_create - MP_NOT_CONFIGURED
0167 TA1 - partition_create - INVALID_ADDRESS
0168 TA1 - partition_create - INVALID_SIZE
0169 TA1 - partition_delete - unknown INVALID_ID
0170 TA1 - partition_delete - local INVALID_ID
0171 TA1 - partition_get_buffer - INVALID_ID
0172 TA1 - partition_ident - INVALID_NAME
0173 TA1 - partition_return_buffer - INVALID_ID
0174 TA1 - partition_create - SUCCESSFUL
0175 TA1 - partition_create - TOO_MANY
0176 TA1 - partition_get_buffer - SUCCESSFUL
0177 TA1 - partition_get_buffer - SUCCESSFUL
0178 TA1 - partition_get_buffer - UNSATISFIED
0179 TA1 - partition_delete - RESOURCE_IN_USE
0180 TA1 - partition_return_buffer - INVALID_ADDRESS - out of range
0181 TA1 - partition_return_buffer - INVALID_ADDRESS - not on boundary
0182 <pause - screen 12>
0183 TA1 - region_create - INVALID_NAME
0184 TA1 - region_create - INVALID_ADDRESS
0185 TA1 - region_create - INVALID_SIZE
0186 TA1 - region_create - SUCCESSFUL
0187 TA1 - region_create - TOO_MANY
0188 TA1 - region_delete - unknown INVALID_ID
0189 TA1 - region_delete - local INVALID_ID
0190 TA1 - region_ident - INVALID_NAME
0191 TA1 - region_get_segment - INVALID_ID
0192 TA1 - region_get_segment - INVALID_SIZE
0193 TA1 - region_get_segment - SUCCESSFUL
0194 TA1 - region_get_segment - UNSATISFIED
0195 TA1 - region_get_segment - timeout in 3 seconds
0196 TA1 - region_get_segment - woke up with TIMEOUT
0197 TA1 - region_delete - RESOURCE_IN_USE
0198 TA1 - region_return_segment - INVALID_ID
0199 TA1 - region_return_segment - INVALID_ADDRESS
0200 TA1 - debug_disable - DEBUG_REGION
0201 TA1 - region_return_segment - INVALID_ADDRESS - SKIPPED
0202 TA1 - region_return_segment - INVALID_ADDRESS - SKIPPED
0203 TA1 - debug_enable - DEBUG_REGION
0204 TA1 - region_extend - INVALID_ID
0205 TA1 - region_extend - within heap - INVALID_ADDRESS
0206 TA1 - region_extend - non-contiguous lower - NOT_IMPLEMENTED
0207 TA1 - region_extend - contiguous lower - NOT_IMPLEMENTED
0208 TA1 - region_extend - non-contiguous higher - NOT_IMPLEMENTED
0209 <pause - screen 13>
0210 TA1 - clock_set - 23:59:59 12/31/2000 - SUCCESSFUL
0211 TA1 - clock_get - 0: 0: 0 1/ 1/2001 - SUCCESSFUL
0212 TA1 - clock_set - 23:59:59 12/31/1999 - SUCCESSFUL
0213 TA1 - clock_get - 0: 0: 0 1/ 1/2000 - SUCCESSFUL
0214 TA1 - clock_set - 23:59:59 12/31/2100 - SUCCESSFUL
0215 TA1 - clock_get - 17:31:44 11/25/1964 - SUCCESSFUL
0216 TA1 - clock_set - 23:59:59 12/31/2099 - SUCCESSFUL
0217 TA1 - clock_get - 17:31:44 11/25/1963 - SUCCESSFUL
0218 TA1 - clock_set - 23:59:59 12/31/1991 - SUCCESSFUL
0219 TA1 - clock_get - 0: 0: 0 1/ 1/1992 - SUCCESSFUL
0220 <pause - screen 14>
0221 TA1 - timer_create - INVALID_NAME
0222 TA1 - timer_create - 1 - SUCCESSFUL
0223 TA1 - timer_create - 2 - TOO_MANY
0224 TA1 - timer_delete - local INVALID_ID
0225 TA1 - timer_delete - global INVALID_ID
0226 TA1 - timer_ident - INVALID_NAME
0227 TA1 - timer_cancel - INVALID_ID
0228 TA1 - timer_reset - INVALID_ID
0229 TA1 - timer_reset - NOT_DEFINED
0230 TA1 - timer_fire_after - INVALID_ID
0231 TA1 - timer_fire_when - INVALID_ID
0232 TA1 - timer_fire_after - INVALID_NUMBER
0233 TA1 - timer_fire_when - 8:30:45 2/ 5/1987 - INVALID_CLOCK
0234 TA1 - clock_get - 0: 0: 0 1/ 1/1992
0235 TA1 - timer_fire_when - 8:30:45 2/ 5/1990 - before INVALID_CLOCK
0236 TA1 - timer_server_fire_after - INCORRECT_STATE
0237 TA1 - timer_server_fire_when - INCORRECT_STATE
0238 TA1 - timer_initiate_server - INVALID_PRIORITY
0239 TA1 - timer_initiate_server
0240 TA1 - timer_server_fire_after - INVALID_ID
0241 TA1 - timer_server_fire_when - INVALID_ID
0242 TA1 - timer_server_fire_after - INVALID_NUMBER
0243 TA1 - timer_server_fire_when - 8:30:45 2/ 5/1987 - INVALID_CLOCK
0244 TA1 - clock_get - 0: 0: 0 1/ 1/1992
0245 TA1 - timer_server_fire_when - 8:30:45 2/ 5/1990 - before INVALID_CLOCK
0246 *** END OF TEST 9 ***
