Warning, /testsuites/ada/sptests/sp11/ada_sp11.scn is written in an unsupported language. File is not indexed.
0001 *** TEST 11 ***
0002 TA1 - event_send - send EVENT_16 to TA2
0003 TA1 - event_receive - waiting forever on EVENT_14 and EVENT_15
0004 TA2 - event_receive - waiting forever on EVENT_16
0005 TA2 - EVENT_16 received - eventout => 16#10000#
0006 TA2 - event_send - send EVENT_14 and EVENT_15 to TA1
0007 TA2 - event_receive - waiting forever on EVENT_17 or EVENT_18 - EVENT_ANY
0008 TA1 - EVENT_14 and EVENT_15 received - eventout => 16#C000#
0009 TA1 - event_send - send EVENT_18 to TA2
0010 TA1 - event_receive - waiting with 10 second timeout on EVENT_14
0011 TA2 - EVENT_17 or EVENT_18 received - eventout => 16#40000#
0012 TA2 - event_send - send EVENT_14 to TA1
0013 TA2 - clock_set - 8:15: 0 2/12/1988
0014 TA2 - event_send - sending EVENT_10 to self after 5 seconds
0015 TA2 - event_receive - waiting forever on EVENT_10
0016 TA1 - EVENT_14 received - eventout => 16#4000#
0017 TA1 - event_send - send EVENT_19 to TA2
0018 TA1 - clock_get - 8:15: 0 2/12/1988
0019 <pause>
0020 TA1 - event_send - send EVENT_18 to self after 5 seconds
0021 TA1 - event_receive - waiting forever on EVENT_18
0022 TA2 - EVENT_10 received - eventout => 16#400#
0023 TA1 - clock_get - 8:15: 5 2/12/1988
0024 TA2 - event_receive - PENDING_EVENTS
0025 TA2 - eventout => 16#80000#
0026 TA2 - event_receive - EVENT_19 - NO_WAIT
0027 TA2 - EVENT_19 received - eventout => 16#80000#
0028 TA2 - task_delete - deletes self
0029 TA1 - EVENT_18 received - eventout => 16#40000#
0030 TA1 - clock_get - 8:15: 5 2/12/1988
0031 TA1 - event_send - send EVENT_3 to self
0032 TA1 - event_receive - EVENT_3 or EVENT_22 - NO_WAIT and EVENT_ANY
0033 TA1 - EVENT_3 received - eventout => 16#8#
0034 TA1 - event_send - send EVENT_4 to self
0035 TA1 - event_receive - waiting forever on EVENT_4 or EVENT_5 - EVENT_ANY
0036 TA1 - EVENT_4 received - eventout => 16#10#
0037 <pause>
0038 TA1 - event_send - send EVENT_18 to self after 5 seconds
0039 TA1 - timer_cancel - cancelling timer for event EVENT_18
0040 TA1 - event_send - send EVENT_8 to self after 60 seconds
0041 TA1 - event_send - send EVENT_9 to self after 60 seconds
0042 TA1 - event_send - send EVENT_10 to self after 60 seconds
0043 TA1 - timer_cancel - cancelling timer for event EVENT_8
0044 TA1 - clock_set - 8:15: 0 2/12/1988
0045 TA1 - event_send - send EVENT_1 every second
0046 TA1 - EVENT_1 received - eventout => 16#2# - at 8:15: 1 2/12/1988
0047 TA1 - EVENT_1 received - eventout => 16#2# - at 8:15: 2 2/12/1988
0048 TA1 - EVENT_1 received - eventout => 16#2# - at 8:15: 3 2/12/1988
0049 TA1 - timer_cancel - cancelling timer for event EVENT_1
0050 <pause>
0051 TA1 - event_send - send EVENT_11 to self in 1 day
0052 TA1 - event_send - send EVENT_11 to self in 1 day
0053 TA1 - event_send - send EVENT_11 to self in 2 days
0054 TA1 - timer_cancel - cancelling EVENT_11 to self in 1 day
0055 TA1 - timer_cancel - cancelling EVENT_11 to self in 2 days
0056 TA1 - event_send - resending EVENT_11 to self in 2 days
0057 TA1 - clock_set - 8:15: 3 2/15/1988
0058 TA1 - event_receive - waiting forever on EVENT_11
0059 TA1 - EVENT_11 received - eventout => 16#800#
0060 <pause>
0061 TA1 - event_send/event_receive combination
0062 TA1 - clock_set - 8:15: 0 2/12/1988
0063 TA1 - event_receive all outstanding events
0064 TA1 - event_send - send EVENT_10 to self in 1 day
0065 TA1 - event_send - send EVENT_11 to self in 2 days
0066 TA1 - clock_set - 7:15: 0 2/12/1988
0067 TA1 - set time backwards
0068 TA1 - no events received
0069 TA1 - clock_set - 7:15: 0 2/14/1988
0070 TA1 - set time forwards (leave a timer)
0071 TA1 - EVENT_10 received
0072 TA1 - event_send - send EVENT_11 to self in 100 ticks
0073 TA1 - event_send - send EVENT_11 to self in 200 ticks
0074 *** END OF TEST 11 ***
