FreeCalypso > hg > fc-magnetite
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 |