summaryrefslogblamecommitdiffstats
path: root/testsuites/ada/sptests/sp03/ada_sp03.scn
blob: a2a04c69514a1dc280e72b9b1416fcba8e18c374 (plain) (tree)
1
2
              
                                     




















                                         

                          
                     
*** TEST 3 ***
TA1 sets clock:  9:15: 0   12/31/1988
TA1 going to sleep:  9:15: 0   12/31/1988
TA2   9:15: 1   12/31/1988
TA2   9:15: 2   12/31/1988
TA2   9:15: 3   12/31/1988
TA2   9:15: 4   12/31/1988
TA1 awakened:  9:15: 5   12/31/1988
TA1 going to sleep:  9:15: 5   12/31/1988
TA2   9:15: 5   12/31/1988
TA2   9:15: 6   12/31/1988
TA2   9:15: 7   12/31/1988
TA2   9:15: 8   12/31/1988
TA2   9:15: 9   12/31/1988
TA1 awakened:  9:15:10   12/31/1988
TA1 going to sleep:  9:15:10   12/31/1988
TA2   9:15:10   12/31/1988
TA2   9:15:11   12/31/1988
TA2   9:15:12   12/31/1988
TA2   9:15:13   12/31/1988
TA2   9:15:14   12/31/1988
TA1 awakened:  9:15:15   12/31/1988
TA1 going to sleep:  9:15:15   12/31/1988
TA2   9:15:15   12/31/1988
TA2   9:15:16   12/31/1988
*** END OF TEST 3 ***