comparison src/aci2/alr/alr_test/alr_results.txt @ 3:93999a60b835

src/aci2, src/condat2: import of g23m/condat source pieces from TCS211
author Mychaela Falconia <falcon@freecalypso.org>
date Mon, 26 Sep 2016 00:29:36 +0000
parents
children
comparison
equal deleted inserted replaced
2:c41a534f33c6 3:93999a60b835
1 +----------------------------------------------------------
2 | Summary of Test
3 | Generated by TapCaller
4 | March 17, 2004 - 09:45:11
5 +----------------------------------------------------------
6
7 Author: MSB
8 Hostname: 1
9 Title: ALR
10
11 ALR002 Passed March 17, 2004 - 09:15:17
12 ALR005 Passed March 17, 2004 - 09:15:21
13 ALR008 Passed March 17, 2004 - 09:15:25
14 ALR011 Passed March 17, 2004 - 09:15:28
15 ALR012B Passed March 17, 2004 - 09:15:32
16 ALR012C Passed March 17, 2004 - 09:15:36
17 ALR015 Passed March 17, 2004 - 09:15:40
18 ALR017 Passed March 17, 2004 - 09:15:43
19 ALR018 Passed March 17, 2004 - 09:15:47
20 ALR019 Passed March 17, 2004 - 09:15:52
21 ALR019A Passed March 17, 2004 - 09:15:56
22 ALR022A Passed March 17, 2004 - 09:16:02
23 ALR022B Passed March 17, 2004 - 09:16:09
24 ALR022C Passed March 17, 2004 - 09:16:16
25 ALR023 Passed March 17, 2004 - 09:16:20
26 ALR024 Passed March 17, 2004 - 09:16:23
27 ALR026A Passed March 17, 2004 - 09:16:30
28 ALR026B Passed March 17, 2004 - 09:16:37
29 ALR027A Passed March 17, 2004 - 09:16:43
30 ALR027B Passed March 17, 2004 - 09:16:50
31 ALR028 Passed March 17, 2004 - 09:16:54
32 ALR029 Passed March 17, 2004 - 09:16:57
33 ALR031 Passed March 17, 2004 - 09:17:01
34 ALR032 Passed March 17, 2004 - 09:17:05
35 ALR033 Passed March 17, 2004 - 09:17:08
36 ALR035 Passed March 17, 2004 - 09:17:12
37 ALR037 Passed March 17, 2004 - 09:17:16
38 ALR039 Passed March 17, 2004 - 09:17:19
39 ALR040 Passed March 17, 2004 - 09:17:23
40 ALR041 Passed March 17, 2004 - 09:17:27
41 ALR042 Passed March 17, 2004 - 09:17:30
42 ALR043 Passed March 17, 2004 - 09:17:34
43 ALR044 Passed March 17, 2004 - 09:17:38
44 ALR046B Passed March 17, 2004 - 09:17:42
45 ALR046C Passed March 17, 2004 - 09:17:45
46 ALR048 Passed March 17, 2004 - 09:18:19
47 ALR053 Passed March 17, 2004 - 09:18:53
48 ALR057 Passed March 17, 2004 - 09:18:56
49 ALR058 Passed March 17, 2004 - 09:19:00
50 ALR061 Passed March 17, 2004 - 09:19:04
51 ALR064 Passed March 17, 2004 - 09:19:07
52 ALR065 Passed March 17, 2004 - 09:19:11
53 ALR066 Passed March 17, 2004 - 09:19:15
54 ALR067 Passed March 17, 2004 - 09:19:18
55 ALR068 Passed March 17, 2004 - 09:19:22
56 ALR069 Passed March 17, 2004 - 09:19:26
57 ALR070 Passed March 17, 2004 - 09:19:29
58 ALR071A Passed March 17, 2004 - 09:19:33
59 ALR071B Passed March 17, 2004 - 09:19:37
60 ALR071C Passed March 17, 2004 - 09:19:40
61 ALR071D Passed March 17, 2004 - 09:19:44
62 ALR071E Passed March 17, 2004 - 09:19:48
63 ALR071F Passed March 17, 2004 - 09:19:52
64 ALR071G Passed March 17, 2004 - 09:19:55
65 ALR071H Passed March 17, 2004 - 09:19:59
66 ALR071I Passed March 17, 2004 - 09:20:03
67 ALR072A Passed March 17, 2004 - 09:20:06
68 ALR072B Passed March 17, 2004 - 09:20:10
69 ALR072C Passed March 17, 2004 - 09:20:14
70 ALR072D Passed March 17, 2004 - 09:20:18
71 ALR072E Passed March 17, 2004 - 09:20:21
72 ALR073A Passed March 17, 2004 - 09:20:25
73 ALR073B Passed March 17, 2004 - 09:20:29
74 ALR073C Passed March 17, 2004 - 09:20:32
75 ALR073D Passed March 17, 2004 - 09:20:36
76 ALR073E Passed March 17, 2004 - 09:20:40
77 ALR073F Passed March 17, 2004 - 09:20:43
78 ALR074 Passed March 17, 2004 - 09:20:47
79 ALR075A Passed March 17, 2004 - 09:20:51
80 ALR075B Passed March 17, 2004 - 09:20:54
81 ALR075C Passed March 17, 2004 - 09:20:58
82 ALR075D Passed March 17, 2004 - 09:21:02
83 ALR075E Passed March 17, 2004 - 09:21:05
84 ALR075F Passed March 17, 2004 - 09:21:09
85 ALR075G Passed March 17, 2004 - 09:21:13
86 ALR075H Passed March 17, 2004 - 09:21:16
87 ALR076 Passed March 17, 2004 - 09:21:20
88 ALR077A Passed March 17, 2004 - 09:21:24
89 ALR077B Passed March 17, 2004 - 09:21:27
90 ALR077C Passed March 17, 2004 - 09:21:31
91 ALR077D Passed March 17, 2004 - 09:21:35
92 ALR077E Passed March 17, 2004 - 09:21:38
93 ALR077F Passed March 17, 2004 - 09:21:42
94 ALR077G Passed March 17, 2004 - 09:21:46
95 ALR077H Passed March 17, 2004 - 09:21:50
96 ALR077I Passed March 17, 2004 - 09:21:53
97 ALR077J Passed March 17, 2004 - 09:21:57
98 ALR078A Passed March 17, 2004 - 09:22:01
99 ALR078B Passed March 17, 2004 - 09:22:04
100 ALR078C Passed March 17, 2004 - 09:22:08
101 ALR078D Passed March 17, 2004 - 09:22:12
102 ALR078E Passed March 17, 2004 - 09:22:15
103 ALR079 Passed March 17, 2004 - 09:22:19
104 ALR080A Passed March 17, 2004 - 09:22:23
105 ALR080B Passed March 17, 2004 - 09:22:26
106 ALR080C Passed March 17, 2004 - 09:22:30
107 ALR080D Passed March 17, 2004 - 09:22:34
108 ALR080E Passed March 17, 2004 - 09:22:37
109 ALR080F Passed March 17, 2004 - 09:22:41
110 ALR080G Passed March 17, 2004 - 09:22:45
111 ALR080H Passed March 17, 2004 - 09:22:48
112 ALR080I Passed March 17, 2004 - 09:22:52
113 ALR080J Passed March 17, 2004 - 09:22:56
114 ALR080K Passed March 17, 2004 - 09:23:00
115 ALR080L Passed March 17, 2004 - 09:23:03
116 ALR080M Passed March 17, 2004 - 09:23:07
117 ALR080N Passed March 17, 2004 - 09:23:11
118 ALR080O Passed March 17, 2004 - 09:23:16
119 ALR080P Passed March 17, 2004 - 09:23:19
120 ALR080Q Passed March 17, 2004 - 09:23:23
121 ALR080R Passed March 17, 2004 - 09:23:27
122 ALR081 Passed March 17, 2004 - 09:23:31
123 ALR082 Passed March 17, 2004 - 09:23:34
124 ALR086 Passed March 17, 2004 - 09:23:38
125 ALR089 Passed March 17, 2004 - 09:23:42
126 ALR095 Passed March 17, 2004 - 09:23:47
127 ALR100 Passed March 17, 2004 - 09:23:50
128 ALR1007 Passed March 17, 2004 - 09:23:59
129 ALR1008 Failed March 17, 2004 - 09:24:07
130 ALR1009 Failed March 17, 2004 - 09:24:15
131 ALR101 Passed March 17, 2004 - 09:24:19
132 ALR1010 Failed March 17, 2004 - 09:24:21
133 ALR1011 Passed March 17, 2004 - 09:24:35
134 ALR1012 Passed March 17, 2004 - 09:24:39
135 ALR150 Passed March 17, 2004 - 09:24:42
136 ALR152 Passed March 17, 2004 - 09:24:46
137 ALR153 Passed March 17, 2004 - 09:24:50
138 ALR154A Passed March 17, 2004 - 09:24:53
139 ALR154B Passed March 17, 2004 - 09:24:57
140 ALR154C Passed March 17, 2004 - 09:25:01
141 ALR154D Passed March 17, 2004 - 09:25:04
142 ALR157 Passed March 17, 2004 - 09:25:41
143 ALR160 Passed March 17, 2004 - 09:25:45
144 ALR202 Passed March 17, 2004 - 09:25:48
145 ALR205 Passed March 17, 2004 - 09:25:52
146 ALR208 Passed March 17, 2004 - 09:25:56
147 ALR211 Passed March 17, 2004 - 09:25:59
148 ALR212A Passed March 17, 2004 - 09:26:03
149 ALR212B Passed March 17, 2004 - 09:26:07
150 ALR212C Passed March 17, 2004 - 09:26:11
151 ALR215 Passed March 17, 2004 - 09:26:14
152 ALR217 Passed March 17, 2004 - 09:26:18
153 ALR244 Passed March 17, 2004 - 09:26:22
154 ALR250 Passed March 17, 2004 - 09:26:27
155 ALR251 Passed March 17, 2004 - 09:26:32
156 ALR252 Passed March 17, 2004 - 09:26:37
157 ALR253 Passed March 17, 2004 - 09:26:42
158 ALR254 Passed March 17, 2004 - 09:26:48
159 ALR255 Passed March 17, 2004 - 09:26:53
160 ALR256 Passed March 17, 2004 - 09:26:58
161 ALR257 Passed March 17, 2004 - 09:27:03
162 ALR258 Passed March 17, 2004 - 09:27:08
163 ALR259 Passed March 17, 2004 - 09:27:13
164 ALR260 Passed March 17, 2004 - 09:27:19
165 ALR261 Passed March 17, 2004 - 09:27:24
166 ALR262 Passed March 17, 2004 - 09:27:29
167 ALR263 Passed March 17, 2004 - 09:27:34
168 ALR264 Passed March 17, 2004 - 09:27:39
169 ALR265 Passed March 17, 2004 - 09:27:44
170 ALR266 Passed March 17, 2004 - 09:27:50
171 ALR267 Passed March 17, 2004 - 09:27:55
172 ALR268 Passed March 17, 2004 - 09:28:00
173 ALR269 Passed March 17, 2004 - 09:28:05
174 ALR270 Passed March 17, 2004 - 09:28:13
175 ALR271 Passed March 17, 2004 - 09:28:22
176 ALR272 Passed March 17, 2004 - 09:28:30
177 ALR273 Passed March 17, 2004 - 09:28:39
178 ALR274 Passed March 17, 2004 - 09:29:16
179 ALR275 Passed March 17, 2004 - 09:44:34
180 ALR276 Passed March 17, 2004 - 09:29:55
181 ALR277 Passed March 17, 2004 - 09:30:32
182 ALR278 Passed March 17, 2004 - 09:30:40
183 ALR279 Passed March 17, 2004 - 09:30:50
184 ALR280 Passed March 17, 2004 - 09:30:58
185 ALR281 Passed March 17, 2004 - 09:31:07
186 ALR602 Passed March 17, 2004 - 09:31:11
187 ALR605 Passed March 17, 2004 - 09:31:15
188 ALR608 Passed March 17, 2004 - 09:31:18
189 ALR611 Passed March 17, 2004 - 09:31:22
190 ALR612A Passed March 17, 2004 - 09:31:26
191 ALR612B Passed March 17, 2004 - 09:31:30
192 ALR615 Passed March 17, 2004 - 09:31:33
193 ALR617 Passed March 17, 2004 - 09:31:37
194 ALR644 Passed March 17, 2004 - 09:31:41
195 ALR650 Passed March 17, 2004 - 09:32:14
196 ALR651 Passed March 17, 2004 - 09:32:48
197 ALR652 Passed March 17, 2004 - 09:32:52
198 ALR653 Passed March 17, 2004 - 09:32:55
199 ALR654 Passed March 17, 2004 - 09:32:59
200 ALR655 Passed March 17, 2004 - 09:33:03
201 ALR700 Passed March 17, 2004 - 09:33:06
202 ALR701 Passed March 17, 2004 - 09:33:10
203 ALR800A Passed March 17, 2004 - 09:33:14
204 ALR800B Passed March 17, 2004 - 09:33:17
205 ALR801B Passed March 17, 2004 - 09:33:21
206 ALR801C Passed March 17, 2004 - 09:33:25
207 ALR802 Passed March 17, 2004 - 09:33:31
208 ALR803A Passed March 17, 2004 - 09:33:35
209 ALR803B Passed March 17, 2004 - 09:33:39
210 ALR803C Passed March 17, 2004 - 09:33:42
211 ALR803D Passed March 17, 2004 - 09:33:46
212 ALR804 Passed March 17, 2004 - 09:33:50
213 ALR805 Passed March 17, 2004 - 09:33:53
214 ALR806 Passed March 17, 2004 - 09:33:57
215 ALR807 Passed March 17, 2004 - 09:34:01
216 ALR808 Passed March 17, 2004 - 09:34:05
217 ALR809 Passed March 17, 2004 - 09:34:08
218 ALR810 Passed March 17, 2004 - 09:34:12
219 ALR811 Passed March 17, 2004 - 09:34:16
220 ALR812 Passed March 17, 2004 - 09:34:19
221 ALR813 Passed March 17, 2004 - 09:34:23
222 ALR814 Passed March 17, 2004 - 09:34:27
223 ALR815 Passed March 17, 2004 - 09:34:30
224 ALR816 Passed March 17, 2004 - 09:34:34
225 ALR817 Passed March 17, 2004 - 09:34:38
226 ALR818 Passed March 17, 2004 - 09:35:13
227 ALR900 Passed March 17, 2004 - 09:35:47
228 ALR901 Passed March 17, 2004 - 09:35:50
229 ALR902 Passed March 17, 2004 - 09:36:24
230 ALR903 Passed March 17, 2004 - 09:36:58
231 ALR904 Passed March 17, 2004 - 09:37:31
232 ALR905 Passed March 17, 2004 - 09:38:05
233 ALR906 Passed March 17, 2004 - 09:38:39
234 ALR907 Passed March 17, 2004 - 09:39:12
235 ALR925 Passed March 17, 2004 - 09:39:16
236 ALR952 Passed March 17, 2004 - 09:40:20
237 ALR954 Passed March 17, 2004 - 09:40:53
238 ALR962 Passed March 17, 2004 - 09:41:08
239 ALR968 Passed March 17, 2004 - 09:41:22
240 ALR974 Passed March 17, 2004 - 09:41:36
241 ALR976 Passed March 17, 2004 - 09:41:50
242 ALR978 Passed March 17, 2004 - 09:42:04
243
244
245 229 Testcases passed ( 98%)
246 3 Testcases failed ( 1%)
247 0 Testcases untested ( 0%)
248 -----------------------------------------------------
249 232 Testcases processed
250