Warning, /testsuites/ada/sptests/sp03/ada_sp03.scn is written in an unsupported language. File is not indexed.
0001 *** TEST 3 ***
0002 TA1 sets clock: 9:15: 0 12/31/1988
0003 TA1 going to sleep: 9:15: 0 12/31/1988
0004 TA2 9:15: 1 12/31/1988
0005 TA2 9:15: 2 12/31/1988
0006 TA2 9:15: 3 12/31/1988
0007 TA2 9:15: 4 12/31/1988
0008 TA1 awakened: 9:15: 5 12/31/1988
0009 TA1 going to sleep: 9:15: 5 12/31/1988
0010 TA2 9:15: 5 12/31/1988
0011 TA2 9:15: 6 12/31/1988
0012 TA2 9:15: 7 12/31/1988
0013 TA2 9:15: 8 12/31/1988
0014 TA2 9:15: 9 12/31/1988
0015 TA1 awakened: 9:15:10 12/31/1988
0016 TA1 going to sleep: 9:15:10 12/31/1988
0017 TA2 9:15:10 12/31/1988
0018 TA2 9:15:11 12/31/1988
0019 TA2 9:15:12 12/31/1988
0020 TA2 9:15:13 12/31/1988
0021 TA2 9:15:14 12/31/1988
0022 TA1 awakened: 9:15:15 12/31/1988
0023 TA1 going to sleep: 9:15:15 12/31/1988
0024 TA2 9:15:15 12/31/1988
0025 TA2 9:15:16 12/31/1988
0026 *** END OF TEST 3 ***
