Warning, /testsuites/sptests/sp03/sp03.scn is written in an unsupported language. File is not indexed.
0001 *** TEST 3 ***
0002 TA1 sets clock: 09:15:00 12/31/1988
0003 TA1 going to sleep: 09:15:00 12/31/1988
0004 TA2 09:15:01 12/31/1988
0005 TA2 09:15:02 12/31/1988
0006 TA2 09:15:03 12/31/1988
0007 TA2 09:15:04 12/31/1988
0008 TA1 awakened: 09:15:05 12/31/1988
0009 TA1 going to sleep: 09:15:05 12/31/1988
0010 TA2 09:15:05 12/31/1988
0011 TA2 09:15:06 12/31/1988
0012 TA2 09:15:07 12/31/1988
0013 TA2 09:15:08 12/31/1988
0014 TA2 09:15:09 12/31/1988
0015 TA1 awakened: 09:15:10 12/31/1988
0016 TA1 going to sleep: 09:15:10 12/31/1988
0017 TA2 09:15:10 12/31/1988
0018 TA2 09:15:11 12/31/1988
0019 TA2 09:15:12 12/31/1988
0020 TA2 09:15:13 12/31/1988
0021 TA2 09:15:14 12/31/1988
0022 TA1 awakened: 09:15:15 12/31/1988
0023 TA1 going to sleep: 09:15:15 12/31/1988
0024 TA2 09:15:15 12/31/1988
0025 TA2 09:15:16 12/31/1988
0026 *** END OF TEST 3 ***
