blob: f380337a7d0a14c9f01313c477eb5c8f4ba32192 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
|
set test "string2"
set ::result_string {s is <12345678901234567890123456789012345678901234567890>
t is <1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890>
0: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
1: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
2: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
3: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
4: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
5: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
6: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
7: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
8: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
9: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
10: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
11: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
12: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
13: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
14: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
15: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
16: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
17: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
18: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
19: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
20: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
21: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
22: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
23: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
24: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
25: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
26: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
27: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
28: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
29: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
30: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
31: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
32: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
33: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
34: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
35: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
36: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
37: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
38: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
39: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
40: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
41: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
42: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
43: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
44: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
45: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
46: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
47: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
48: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
49: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
50: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
51: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
52: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
53: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
54: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
55: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
56: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
57: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
58: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
59: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
60: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
61: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
62: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
63: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
64: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
65: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
66: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
67: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
68: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
69: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
70: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
71: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
72: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
73: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
74: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
75: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
76: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
77: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
78: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
79: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
80: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
81: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
82: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
83: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
84: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
85: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
86: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
87: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
88: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
89: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
90: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
91: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
92: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
93: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
94: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
95: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
96: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
97: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
98: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
99: 1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890}
set TEST_NAME "$subdir/$test.stp"
if {![installtest_p]} { untested $TEST_NAME; return }
set res [exec stap $srcdir/$subdir/$test.stp]
if {[string compare $res $::result_string] == 0} {
pass $TEST_NAME
} else {
fail $TEST_NAME
puts "EXPECTED:\n-----------------------\n<$::result_string>"
puts "-----------------------\n"
puts "GOT:\n-----------------------\n<$res>"
puts "-----------------------\n"
}
|
