diff options
Diffstat (limited to 'testsuites/ada/sptests/sp03/ada_sp03.scn')
| -rw-r--r-- | testsuites/ada/sptests/sp03/ada_sp03.scn | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/testsuites/ada/sptests/sp03/ada_sp03.scn b/testsuites/ada/sptests/sp03/ada_sp03.scn new file mode 100644 index 0000000000..a2a04c6951 --- /dev/null +++ b/testsuites/ada/sptests/sp03/ada_sp03.scn @@ -0,0 +1,26 @@ +*** 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 *** |