/[eiffelstudio]/trunk/eweasel/control/catalog
ViewVC logotype

Contents of /trunk/eweasel/control/catalog

Parent Directory Parent Directory | Revision Log Revision Log


Revision 86986 - (show annotations)
Thu Aug 11 17:44:33 2011 UTC (8 years, 5 months ago) by manus
File size: 172786 byte(s)
Found an issue with creation of special of expanded involving some melted code which does not crash during the SPECIAL creation but only later because the callstack is corrupted.

1 --| Copyright (c) 1993-2006 University of Southern California and contributors.
2 --| All rights reserved.
3 --| Your use of this work is governed under the terms of the GNU General Public
4 --| License version 2.
5
6 -- This is a test catalog.
7
8 source_path $BUGS
9
10
11 -- EiffelTime tests
12
13 test make-from-string datetimestring001 tcf pass time
14 test time-duration duration001 tcf pass time
15 test date-duration duration002 tcf pass time
16 test date-time-duration duration003 tcf pass time
17 test large-date-time-duration duration004 tcf pass time
18 test time-bug-reports time001 tcf pass time
19 test date-duration-with-leap-years time002 tcf pass time
20 test date-time-with-epoch time003 tcf pass time
21
22 -- EiffelBase tests
23
24 test array-is-equal array001 tcf pass array
25 test array-consistency array002 tcf pass array array2
26 test array-has array003 tcf pass array
27 test array-occurrences array004 tcf pass array
28 test array2-wipe-out array005 tcf pass array array2
29 test manifest-array-invariant array006 tcf pass array
30 test array-force array007 tcf pass array
31 test array2-basics array008 tcf pass array array2
32
33 test list-is-equal list001 tcf pass list
34 test list-put-extend list002 tcf pass list
35 test clone-list list003 tcf pass list
36 test merge-arrayed-list list004 tcf pass list
37 test remove-prune-arrayed-list list005 tcf pass list
38 test duplicate-arrayed-list list006 tcf pass list
39 test insert-arrayed-list list007 tcf pass list
40 test arrayed-list-prune-all list008 tcf pass list
41 test arrayed-list-put-* list009 tcf pass list
42 test fixed-list-queries list010 tcf pass list
43 test merging-compatible-arrayed-list list011 tcf pass list
44 test sorted-two-way-list-invariant-violation list012 tcf pass list
45 test do-all-with-index-arrayed-list list013 tcf pass list
46 test two-way-list-merge list014 tcf pass list
47 test chain-move list015 tcf pass list
48
49 test priority-queue-basics queue001 tcf pass queue
50 test heap-priority-queue-remove queue002 tcf pass queue
51 test queue-linear queue003 tcf pass queue
52
53 test disjoint-sets set001 tcf pass set
54 test disjoint-sets-expanded set001a tcf pass set
55 test disjoint-sets-heterogenous set001b tcf pass set
56 test symdif-sets set002 tcf pass set
57 test symdif-sets-heterogenous set002a tcf pass set
58 test prune-tree-set set003 tcf pass set
59 test linear-subset-move set004 tcf pass set
60 test void-items-set-crash set005 tcf pass set
61 test various-set-operations set006 tcf pass set
62
63 test tree-is-equal tree001 tcf pass tree
64 test tree-clone tree002 tcf pass tree
65 test tree-tests tree003 tcf pass tree
66 test tree-copy tree004 tcf pass tree
67
68 test string-regression string001 tcf pass string
69 test insert-default-key table001 tcf pass table
70 test replace_key_cycle table002 tcf pass table
71 test replace_key_conflict_not_found table003 tcf pass table
72 test replace_key_replace_item table004 tcf pass table
73 test iteration-with-default-key table005 tcf pass table iteration
74 test infinite-loop-on-removal-then-addition table006 tcf pass table
75 test remove-default-key table007 tcf pass table
76 test current_keys_void_safe table008 tcf pass table
77 test extend-after-removal-failures table009 tcf pass table
78
79 test recursive-delete-with-symlinks directory001 tcf pass directory
80
81 test basic-iterations iteration001 tcf pass iteration
82 test iteration-cursor-two-generics iteration002 tcf pass iteration formal generic
83
84 -- EiffelNet test
85 test net-out-of-descriptor net001 tcf pass net
86 test net-connect-failure net002 tcf pass net multithreaded
87
88 -- EiffelStore test
89 test eiffelstore_various_functions eiffelstore001 tcf pass eiffelstore
90
91 -- Exceptions
92 test old-expression-exception except001 tcf pass exception
93 test invariant-violation-on-entry except002 tcf pass exception
94 test exception-during-evaluation-of-invariant-on-entry except003 tcf pass exception
95 test exception-during-evaluation-of-precondition except004 tcf pass exception
96 test precondition-violation except005 tcf pass exception
97 test attached-target-violation-in-routine-body except006 tcf pass exception
98 test exception-during-evaluation-of-invariant-on-exit except007 tcf pass exception
99 test invariant-violation-on-exit except008 tcf pass exception
100 test exception-during-evaluation-of-postcondition-on-exit except009 tcf pass exception
101 test postcondition-violation except010 tcf pass exception
102 test exception-in-rescue except011 tcf pass exception
103 test raise-and-catch-user-defined-exception except012 tcf pass exception
104 test ignoring-developer-exception except013 tcf pass exception
105 test raising-catching-exception-in-once except014 tcf pass exception
106 test stack-trace-indefinitely-grows except015 tcf pass exception
107 test queries_of_exceptions_class_1 except016 tcf pass exception
108 test queries_of_exceptions_class_2 except017 tcf pass exception
109 test no_routine_failure_on_rescue_exception except018 tcf pass exception
110 test memory_leak_when_retried except019 tcf pass exception
111 test corrupted_trace except020 tcf pass exception
112 test top_n_call_incorrect except021 tcf pass exception
113 test incorrect_local_restoration except022 tcf pass exception
114 test native_signal_number_in_exception except023 tcf pass exception
115 test native_error_number_in_exception except024 tcf pass exception
116 test native_error_number_ise_io_error except025 tcf pass exception
117 test buffer_overflows_printing_trace except026 tcf pass exception
118 test static_buffer_for_trace_not_thread_safe except027 tcf pass exception multithreaded
119 test assertion_violations_in_onces except028 tcf pass exception
120 test exception_on_invalid_object_has_no_trace except029 tcf pass exception
121 test incorrect_once_trace_at_first_call except030 tcf pass exception
122 test every_trace_has_root except031 tcf pass exception
123 test trace_has_no_pass except032 tcf pass exception
124 test precondition-violation-infinite-loop except033 tcf fail exception
125 test last-exception-not-cleared except034 tcf fail exception
126 test code-compatible-io-failure except035 tcf fail exception
127 test original_routines_in_exceptions except036 tcf pass exception
128 test exception_cause except037 tcf pass exception
129
130 -- Unicode
131 test unicode_manifest_string_char_and_constants unicode001 tcf pass unicode
132 test unicode_free_operator unicode002 tcf pass unicode
133 test big_extended_ascii_src unicode003 tcf pass unicode
134 test extended_ascii_string_compatibility unicode004 tcf pass unicode
135 test manifest-string-with-null-character unicode005 tcf pass unicode
136
137 -- Non Conforming Inheritance
138 test basic-non-conforming-inheritance noncon001 tcf pass non-conforming
139 test non-conforming-inheritance-conformance noncon002 tcf pass non-conforming conformance
140 test non-conforming-inheritance-incrementality noncon003 tcf pass non-conforming
141 test non-conforming-inheritance-parent-incrementality noncon004 tcf pass non-conforming
142 test non-conforming-inheritance-is-not-selectable noncon005 tcf fail non-conforming
143 test non-conforming-parent-can-be-frozen noncon006 tcf pass non-conforming
144 test at-least-one-conforming-inheritance-path noncon007 tcf fail non-conforming
145 test non-conforming-inheritance-client-incrementality noncon008 tcf pass non-conforming
146 test non-conforming-finalization-postcondition-violation noncon009 tcf pass non-conforming
147 test no-repeated-non-conforming-inheritance noncon010 tcf pass non-conforming
148 test repeated-non-conforming-inheritance-of-generic-type noncon011 tcf pass
149 test repeated-non-conforming-inheritance-of-generic-type-from-parents noncon012 tcf pass non-conforming
150 test feature-inherits-export-status noncon013 tcf pass non-conforming
151 test non-conform-once-inheritance noncon014 tcf pass non-conforming
152 test non-conform-generic-class noncon015 tcf pass non-conforming
153 test non-conform-arguments noncon016 tcf pass non-conforming
154 test non-conform-infinite-loop noncon017 tcf pass non-conforming
155 test non-conform-precondition-inheritance noncon019 tcf pass non-conforming
156 test incorrect-vrle-error noncon020 tcf pass non-conforming
157 test non-conforming-reference-attribute-access noncon021 tcf pass non-conforming
158 test non-conforming-constant-access noncon022 tcf pass non-conforming
159 test non-conforming-crash noncon023 tcf pass non-conforming
160
161 -- Replication
162 test replicate-precursor replication001 tcf pass replication
163 test replicated-feature-merge replication002 tcf fail replication
164 test wrong-vdpr-error replication003 tcf pass replication
165 test vmcs-warning1 replication004 tcf pass replication
166 test vmcs-warning2 replication005 tcf pass replication
167 test repeated-onces replication006 tcf pass replication
168 test nc-replication-not-apply-vmcs replication007 tcf pass replication
169
170 -- For testing only
171
172 -- test keep-recompiling fake001 tcf testing
173 test test-auto-resize fake002 tcf pass
174 test many-similar-class-names fake003 tcf pass
175 test test1 fake004 tcf fail
176 test test2 fake005 tcf pass
177 test whip-it-good fake006 tcf pass
178
179 -- Syntax tests
180
181 test generic-zero-parms syntax001 tcf pass syntax
182 test no-index-tag syntax002 tcf pass syntax
183 test semicolons-not-optional syntax003 tcf pass syntax
184 test empty-export-feature-list syntax004 tcf pass syntax
185 test empty-multi-branch-choices syntax005 tcf pass syntax
186 test zero-equals-zero syntax006 tcf pass syntax
187 test syntax-disagreements-1 syntax007 tcf pass syntax
188 test creation-client-no-feats syntax008 tcf pass syntax
189 test empty-strip-expression syntax009 tcf pass syntax
190 test empty-manifest-array syntax010 tcf pass syntax
191 test valid-anchored-decl syntax011 tcf fail syntax
192 test bit-type-with-plus syntax012 tcf pass syntax
193 test empty-index-list syntax013 tcf pass syntax
194 test free-operator-reject syntax014 tcf fail syntax
195 test long-string-constant syntax015 tcf pass syntax
196 test strip-no-prefix-opers syntax016 tcf fail syntax
197 test std-operator-case-sensitive syntax017 tcf pass syntax
198 test syntax-disagreements-2 syntax018 tcf fail syntax
199 test illegal-multi-branch syntax019 tcf pass syntax
200 test reserved-words-not syntax020 tcf pass syntax
201 test invalid-generic-constraint3 syntax021 tcf pass syntax
202 test std-operator-trailing-null syntax022 tcf pass syntax
203 test not-all-chars-significant syntax023 tcf pass syntax
204 test manifest-string-blank-lines syntax024 tcf fail syntax
205 test null-or-ctrl-a-syntax syntax025 tcf pass syntax
206 test fairly-long-identifier syntax026 tcf pass syntax
207 test routine-empty-arg-list syntax027 tcf pass syntax
208 test manifest-string-percent-space syntax028 tcf fail syntax
209 test external-lower-case-c-lang syntax029 tcf pass syntax
210 test include-missing-last-delimiter syntax030 tcf pass syntax
211 test external-tab-after-macro syntax031 tcf pass syntax
212 test external-proc-sig-return-type syntax032 tcf pass syntax
213 test point-e-one-real-constant syntax033 tcf pass syntax
214 test qualified-call-e-forty-seven syntax034 tcf pass syntax
215 test infix-pass-feature-address syntax035 tcf pass syntax
216 test assign-addr-expr-to-pointer syntax036 tcf fail syntax
217 test cast-arg-type-with-parens syntax037 tcf fail syntax
218 test bogus-string-syntax-error syntax038 tcf pass syntax
219 test trailing-indexing-no-semicolon syntax039 tcf pass syntax
220 test external-with-punctuation syntax040 tcf pass syntax
221 test generic-create-empty-feat-list syntax041 tcf fail syntax
222 test external-nonwhite-chars-ignored syntax042 tcf fail syntax
223 test agent-parens-zero-args syntax043 tcf pass syntax
224 test empty-convert-clause syntax044 tcf fail syntax
225 test verbatim-manifest-string syntax045 tcf pass syntax
226 test integer-constant-range syntax046 tcf pass syntax
227 test multi-syntax-error syntax047 tcf pass syntax
228 test indexing-notes-syntax syntax048 tcf pass syntax indexing note
229 test loop-variant-syntax syntax049 tcf pass syntax loop variant
230 test assigner-on-creation-expression syntax050 tcf fail syntax assigner
231 test external-dll-name syntax051 tcf pass syntax external
232 test attached_tuple_element syntax052 tcf fail syntax tuple attached
233 test obsolete-inline-agent syntax053 tcf fail syntax
234 test invalid-manifest-type-char-constant syntax054 tcf fail syntax
235 test note-syntax syntax055 tcf pass syntax
236 test attached-syntax syntax056 tcf pass syntax attached
237 test external-with-invalid-use syntax057 tcf pass syntax
238 test bracket-expression-on-manifest-type syntax058 tcf pass syntax bracket_expression
239 test across-loop-syntax syntax059 tcf pass syntax loop variant invariant across iteration
240 test object-test-expression syntax060 tcf pass syntax object_test
241 test constrained-generic-without-type syntax061 tcf fail syntax formal generic
242 test loop-instruction-as-expression syntax062 tcf pass syntax loop instruction expression across iteration
243 test non-conforming-inheritance-empty-select syntax063 tcf fail syntax non-conforming
244 test multiple-semicolons-after-feature syntax064 tcf fail syntax
245 test non-decimal-percent-char-codes syntax065 tcf fail syntax
246 test number-end-without-break syntax066 tcf fail syntax
247
248
249 -- Validity tests
250
251 test bad-class-end-comment valid001 tcf pass validity
252 test bad-infix-feature valid002 tcf pass validity
253 test class-not-in-universe valid003 tcf pass validity
254 test invalid-local-rescue valid004 tcf pass validity
255 test local-same-as-formal valid005 tcf pass validity
256 test invalid-precondition valid006 tcf pass validity
257 test invalid-use-of-old valid007 tcf pass validity
258 test invalid-entity-assertion-tag valid008 tcf pass validity
259 test invalid-bit-type valid009 tcf pass validity
260 test rename-infix-to-prefix valid010 tcf pass validity
261 test anchored-type-violation valid011 tcf pass validity
262 test invalid-creation-instruction valid012 tcf pass validity
263 test inherited-assign-violation valid013 tcf fail validity
264 test illegal-formal-generic valid014 tcf pass validity
265 test none-as-formal-generic valid015 tcf pass validity
266 test require-else-ensure-then valid016 tcf pass validity
267 test void-as-bool-or-int valid017 tcf pass validity
268 test illegal-address-use valid018 tcf pass validity
269 test redefine-subclause-violation valid019 tcf fail validity
270 test expanded-type-violation2 valid020 tcf pass validity
271 test expanded-type-avail-viol valid021 tcf pass validity
272 test anchored-formal-generic valid022 tcf pass validity
273 test invalid-generic-constraint2 valid023 tcf pass validity
274 test export-validity-viol valid024 tcf pass validity
275 test bad-external-language valid025 tcf pass validity
276 test basic-type-generic-deriv valid026 tcf pass validity
277 test bad-generic-deriv-creation-type valid027 tcf pass validity
278 test generic-parm-conform valid028 tcf pass validity
279 test deferred-root-class valid029 tcf pass validity
280
281 test expanded-redeclaration valid030 tcf pass validity
282 test valid-feature-rename valid031 tcf pass validity
283 test valid-repeated-inheritance valid032 tcf fail validity
284 test valid-like-generic-deriv valid033 tcf pass validity
285 test valid-repeated-inheritance2 valid034 tcf pass validity
286 test conformance-inconsistency valid035 tcf fail validity conformance
287 test multi-branch-empty-intervals valid036 tcf pass validity
288 test op-feat-cant-be-used valid037 tcf pass validity
289 test addr-args-not-pointer valid038 tcf pass validity
290 test valid-once-redefine valid039 tcf pass validity
291 test valid-once-undefine valid040 tcf pass validity
292 test result-in-none-func valid041 tcf pass validity
293 test repeat-inher-vmrc-violation valid042 tcf pass validity
294 test manifest-array-conform valid043 tcf pass validity
295 test bit-constant-diff-length valid044 tcf pass validity
296 test vtct-on-generic-5 valid045 tcf pass validity
297 test actual-generic-anchor-feat valid046 tcf pass validity
298 test valid-actual-generic valid047 tcf pass validity
299
300 test redecl-violation valid048 tcf pass validity
301 test local-entity-wrong-error valid049 tcf pass validity
302 test vuar-called-vuex valid050 tcf pass validity
303 test veen-called-other-viol valid051 tcf pass validity
304 test generic-constrained-by-generic valid052 tcf pass validity
305 test spurious-vtat-on-bit valid053 tcf pass validity
306 test vuar-called-vuar2 valid054 tcf pass validity
307 test vtug-called-vtug3 valid055 tcf pass validity
308 test pointer-ref-conformance valid056 tcf pass validity conformance
309 test spurious-vgcc2 valid057 tcf pass validity
310 test illegal-attributes valid058 tcf pass validity
311 test rename-feature-to-self valid059 tcf pass validity
312 test generic-expanded-client2 valid060 tcf pass validity
313 test old-in-precond-bogus-vaol2 valid061 tcf pass validity
314 test old-result valid062 tcf pass validity
315 test exclude-recompile-vd14 valid063 tcf pass validity
316 test expanded-multi-creation-procs valid064 tcf pass validity
317 test vreg-formal-multiple valid065 tcf pass validity
318 test nonexistent-vlec valid066 tcf fail validity
319 test old-void valid067 tcf pass validity
320 test veen-on-hashable-default valid068 tcf pass validity
321 test all-unique-bogus-vomb-3 valid069 tcf fail validity
322 test vtug1-called-vtug2 valid070 tcf pass validity
323 test vtug2-called-vtug1 valid071 tcf pass validity
324 test vgcc5-called-vgcc6 valid072 tcf fail validity
325 test undefine-external-make-internal valid073 tcf pass validity
326 test vgcc4-called-vgcc6 valid074 tcf fail validity
327 test vqmc-extra-bogus-vffd7 valid075 tcf fail validity
328 test undef-mult-precursors valid076 tcf fail validity
329 test vjaw-called-vuar1 valid077 tcf fail validity
330 test vkcn-sneak valid078 tcf pass validity
331 test replicated-feat-multiple-select valid079 tcf fail validity
332 test double-assigned-to-real valid080 tcf pass validity
333 test precondition-too-secret valid081 tcf pass validity
334 test selective-export-operator-feat valid082 tcf fail validity
335 test operator-feat-export-to-self valid083 tcf fail validity
336 test vape-involving-current valid084 tcf pass validity
337 test secret-precondition-heir-export valid085 tcf fail validity
338 test secret-func-arg-in-precondition valid086 tcf pass validity
339 test vtct-on-valid-class valid087 tcf pass validity
340 test creation-proc-secret-precond valid088 tcf fail validity
341 test join-features-invalid-vuex valid089 tcf fail validity
342 test switch-parents-vuex-gone valid090 tcf fail validity
343 test inspect-char-inside-inspect-int valid091 tcf pass validity
344 test vomb2-called-veen valid092 tcf pass validity
345 test vtcg-instead-of-vtug2 valid093 tcf pass validity
346 test misleading-vhrc2-and-vhrc3 valid094 tcf pass validity
347 test precond-call-chain-vape valid095 tcf pass validity
348 test like-current-generic-vlec valid096 tcf pass validity
349 test generic-attr-call-bad-type valid097 tcf pass validity
350 test expanded-generic-conformance valid098 tcf pass validity conformance
351 test bogus-vtcg valid099 tcf pass validity
352 test creation-bad-actual-generic valid100 tcf pass validity
353 test inheritance-bad-actual-generic valid101 tcf pass validity
354 test attribute-anchored-to-generic valid102 tcf pass validity
355 test two-anchored-actual-generics valid103 tcf pass validity
356 test merge-anchored-bogus-vdjr valid104 tcf fail validity
357 test replicate-then-share valid105 tcf fail validity
358 test inherit-any-not-ancestor valid106 tcf pass validity
359 test compare-procedure-to-void valid107 tcf pass validity
360 test explicit-creation-bad-generic valid108 tcf pass validity
361 test tricky-constraint-with-generic valid109 tcf pass validity
362 test vgcc-called-vuar1 valid112 tcf fail validity
363 test procedure-in-tuple valid113 tcf pass validity tuple
364 test generic-constraint-not-used valid114 tcf fail validity
365 test two-generic-precursors valid115 tcf fail validity
366 test invariant-result-address valid116 tcf pass validity
367 test two-precursors-same-parent valid117 tcf fail validity
368 test bogus-vdpr2 valid118 tcf fail validity
369 test nonconforming-generic-creation valid119 tcf pass validity
370 test unreferenced-locals valid120 tcf pass validity array2
371 test default-create-no-vd27 valid121 tcf fail validity
372 test agent-bad-actual-generic valid122 tcf pass validity
373 test restricted-creation-wrong-vtcg valid123 tcf pass validity
374 test inherited-vgcc valid124 tcf fail validity
375 test inherited-vjar valid125 tcf fail validity
376 test generic-like-current-vjar valid126 tcf pass validity
377 test vwoe-on-integer-remainder valid127 tcf pass validity
378 test generic-static-vtcg valid128 tcf pass validity
379 test inconsistent-vsta1 valid129 tcf fail validity
380 test bogus-vd43 valid130 tcf pass validity
381 test anchored-argument-bogus-vdjr valid131 tcf fail validity
382 test vdrd3-ensure-then valid132 tcf pass validity
383 test indirect-vlec valid133 tcf fail validity
384 test generic-create-deferred valid134 tcf fail validity
385 test bit-identifier-in-generic valid135 tcf fail validity
386 test bad-bit-identifier-in-static valid136 tcf pass validity
387 test assign-minimum-integer-vjar valid137 tcf pass validity
388 test anchored-bogus-vsrp2 valid138 tcf pass validity
389 test default-create-vtcg valid139 tcf pass validity
390 test clients-duplicate-class-name valid140 tcf fail validity
391 test manifest-string-vqmc-sneak valid141 tcf pass validity
392 test c-inline-without-alias valid142 tcf pass validity
393 test cpp-delete-anchored-arg valid143 tcf pass validity
394 test pass-manifest-array-expanded valid144 tcf pass validity
395 test expanded-expanded-conformance valid145 tcf pass validity conformance
396 test precompiled-vdcn-sneak valid146 tcf fail validity
397 test cluster-include-std-class-file valid147 tcf fail validity
398 test nested-manifest-array-vuar valid148 tcf fail validity
399 test undefine-external-vdus2 valid149 tcf pass validity
400 test static-ext-inherit-assertion valid150 tcf fail validity
401 test deferred-change-signature valid151 tcf fail validity
402 test agent-open-operand-generic valid152 tcf fail validity
403 test prefix-at-not-equal valid153 tcf pass validity
404 test convert-from-array-none valid154 tcf pass validity
405 test expanded-formal-generic valid155 tcf fail validity
406 test convert-manifest-array-to-array valid156 tcf pass validity
407 test convert-on-precursor-and-anchors valid157 tcf pass validity
408 test vtug-not-reported-on-anchor valid158 tcf pass validity
409 test inspect-with-anchor-type valid159 tcf pass validity
410 test array-double-array-none valid160 tcf pass validity
411 test missing-vuar-on-argument-anchor valid161 tcf fail validity
412 test vtat-reported-on-valid-anchoring valid162 tcf pass validity
413 test valid-manifest-arrays-tuples valid163 tcf pass validity tuple
414 test agent-on-anchored-target valid164 tcf pass validity
415 test creation-on-anchor-which-is-formal valid165 tcf pass validity
416 test formal-conversion-to-reference valid166 tcf pass validity
417 test like-boolean-in-boolean-expressions valid167 tcf pass validity
418 test like-anchor-instantiation-in-generic valid168 tcf pass validity
419 test incorrect-vgcc1-error valid169 tcf pass validity
420 test like-current-as-actual-generic valid170 tcf pass validity
421 test inherit-like-anchor-to-like-current valid171 tcf pass validity
422 test conversion-on-type-with-like-current valid172 tcf pass validity
423 test open-agen-target-wrong_type valid173 tcf pass validity
424 test override-bogus-export-error valid174 tcf pass validity
425 test static-call-on-formal-generic-type valid175 tcf pass validity
426 test inherited-generic-type-validation valid176 tcf fail validity
427 test invalid-assignment-to-like-curent valid177 tcf pass validity
428 test named-tuple-creation valid178 tcf pass validity tuple
429 test formal-as-argument-no-conformance valid179 tcf pass validity conformance
430 test inherited-infix-type-checking-failure valid180 tcf pass validity
431 test inherited-agent-with-formal-in-assertions valid181 tcf pass validity
432 test expanded-conformance valid182 tcf pass validity conformance
433 test expanded-none-conformance valid183 tcf pass validity conformance
434 test once-inline-agent valid184 tcf pass validity
435 test precursor-in-invariant valid185 tcf pass validity
436 test precursor-in-inline-agent valid186 tcf pass validity
437 test octal-integer-error valid187 tcf pass validity
438 test binary-integer-error valid188 tcf pass validity
439 test binary-octal-representation valid189 tcf pass validity
440 test manifest-character-encoding valid190 tcf pass validity
441 test character-encoded-too-large valid191 tcf pass validity
442 test creation-procedure-restriction valid192 tcf pass validity
443 test inspect-on-different-unique valid193 tcf pass validity unique inspect
444 test excessive-unique-constants valid194 tcf pass validity unique
445 test convert-to-current-type valid195 tcf fail validity vycq convert
446 test convert-to-possible-actual-type valid196 tcf fail validity vycq convert
447 test convert-to-base-class valid197 tcf fail validity vycq convert
448 test convert-to-base-class-inherited valid198 tcf pass validity vycq convert
449 test convert-to-base-class-inherited2 valid199 tcf pass validity vycq convert
450 test convert-to-base-class-inherited3 valid200 tcf pass validity vycq convert
451 test formal-as-base-type-for-generic valid201 tcf pass validity formal generic
452 test single-constraint-formal-renaming valid202 tcf pass validity formal generic
453 test inherit-from-expanded valid203 tcf pass validity frozen expanded
454 test recheck-assertion-feature-renamed valid204 tcf pass validity assertion renaming
455 test recursive-generic-constraint-with-creation valid205 tcf pass validity
456 test named-tuple-in-parent-constraint-clauses valid206 tcf pass validity tuple
457 test valid-generic-derivation valid207 tcf pass validity
458 test creation-constraint-like-current-deferred valid208 tcf pass validity
459 test creation-constraint-like-current-deferred2 valid209 tcf pass validity
460 test vtcg-expanded valid210 tcf pass validity
461 test vtcg-generic valid211 tcf pass validity
462 test wrong-vgcc valid212 tcf pass validity
463 test named-tuple-convert-conformance valid213 tcf fail validity tuple conformance
464 test nested-generics-creation-readiness valid214 tcf pass validity
465 test static-comparison-test valid215 tcf fail validity
466 test generic-creation-constraint valid216 tcf fail validity
467 test precursor-once valid217 tcf fail validity
468 test freezing-like-current valid218 tcf fail validity
469 test obsolete-warning-in-obsolete-feature valid219 tcf fail validity
470 test ancestor-anchor-type valid220 tcf pass validity
471 test vtug2-not-reported-crash valid221 tcf pass validity
472 test invalid-redefinition valid222 tcf pass validity
473 test void-safe-static-call valid223 tcf pass validity attached_types
474 test vrft-in-nested-tuple-type valid224 tcf fail validity tuple
475 test extra-vtcg-with-full-checking valid225 tcf pass validity
476 test reference-generic-expanded-actual valid226 tcf fail validity
477 test expanded-generic-reference-actual valid227 tcf fail validity
478 test bogus-vevi-on-invalid-inspect valid228 tcf fail validity
479 test bogus-vevi-on-inspect-empty-interval valid229 tcf pass validity
480 test inline-c-external-without-alias valid230 tcf fail validity
481 test validity-in-empty-case valid231 tcf pass validity
482 test redefine-deferred-to-effective valid232 tcf fail validity
483 test redefine-2-deferred-to-effective valid233 tcf fail validity
484 test redefine-effective-to-deferred valid234 tcf pass validity
485 test undefine-renamed-deferred valid235 tcf pass validity
486 test undefine-redefine-to-effective valid236 tcf fail validity
487 test effective-redefinition valid237 tcf pass validity
488 test selecting-renamed-feature valid238 tcf fail validity
489 test diamond-pattern-vmrc valid239 tcf fail validity
490 test explicit-attachment-mark-convert-fail valid240 tcf fail validity
491 test indirect-type-evaluation valid241 tcf pass validity formal multiconstraint generic anchored_type
492 test undetected-vycp-vycq-with-generic valid242 tcf fail validity
493 test inherited-binary-with-generic valid243 tcf pass validity formal generic binary operator multiconstraint
494 test bogus-vuta-on-procedure-target valid244 tcf pass validity attached void_safe
495 test explicit-anchored-expanded-creation-type valid245 tcf pass validity
496 test inherited-conversion-to-like-current valid246 tcf pass validity
497 test undetected-vycq-error valid247 tcf pass validity conversion
498 test infix-prefix-alias-compatibility valid248 tcf pass validity
499 test assigner-validity-rules valid249 tcf pass validity
500 test assigner-wrong-vbac valid250 tcf pass validity
501 test bogus-veen-on-object-test-local valid251 tcf pass validity
502 test undetected-vuot-error valid252 tcf pass validity
503 test equality-of-conforming-classes valid253 tcf pass validity equality conformance attached_types
504 test bogus-bit-vdrd valid254 tcf pass validity
505 test missing-vhpr-with-different-generic-derivation valid255 tcf pass validity
506 test wrong-vdpr-errors valid256 tcf pass validity
507 test wrong-manifest-array-attached-type valid257 tcf pass validity
508 test select-stable-attribute valid258 tcf pass validity
509 test precompilation-task-failure valid259 tcf fail validity
510 test manifest_char_type valid260 tcf fail validity
511 test inherited-generic-agent-argument valid261 tcf pass validity formal generic agent
512 test conversion_without_binary_operator valid262 tcf pass validity
513 test manifest-real-to-real-32-conformance valid263 tcf pass validity ieee
514 test generic-rename-with-alias valid264 tcf fail validity generic rename
515 test variant-with-anchored-type valid265 tcf fail validity
516 test vtcg7-precondition-violation valid266 tcf fail validity
517 test bogus-vdrd2-error valid267 tcf fail validity
518 test crash-on-veen2a valid268 tcf pass validity
519 test bogus-vsrp3-with-require-else-false valid269 tcf pass validity
520 test spurious-vuot-in-assertion valid270 tcf pass validity object_test
521 test spurious-vweq-warning valid271 tcf pass validity
522 test non-conforming-missing-vmss3 valid272 tcf fail validity non-conforming
523
524 -- Multiple error reporting tests
525 test multi-error-degree-4 multierr001 tcf pass multi-errors
526 test degree-5-forget-error multierr002 tcf pass multi-errors
527 test degree-5-infinite-loop multierr003 tcf pass multi-errors
528 test multi-invalid-signature multierr004 tcf pass multi-errors
529 test error-in-manifest-array-tuple multierr005 tcf pass multi-errors tuple
530 test error-in-elsif multierr006 tcf pass multi-errors
531 test failing-to-recompile-descendant multierr007 tcf pass multi-errors
532 test recompile-descendant-code multierr008 tcf pass multi-errors
533 test recompile-assertion-descendant-code multierr009 tcf pass multi-errors
534 test precondition-vdpr-fail-to-check-body multierr010 tcf pass multi-errors
535 test binary-op-fail-to-check-second-operand multierr011 tcf pass multi-errors
536
537 -- System validity tests
538 test svalid-infix-with-conversion svalid001 tcf pass system-validity
539 test svalid-rename-constant-inspect svalid002 tcf pass system-validity
540 test svalid-incremental-check svalid003 tcf pass system-validity
541 test precursor-validity svalid004 tcf pass system-validity
542 test obsolete-warning-not-repeated svalid005 tcf pass system-validity
543 test proper-conversion-validity svalid006 tcf pass system-validity
544 test svalid-conversion-with-formal svalid007 tcf pass system-validity
545 test svalid-conversion-export-error svalid008 tcf pass system-validity
546 test svalid-inherit-labeled-tuple svalid009 tcf pass system-validity
547 test svalid-inherit-labeled-tuple-assign svalid010 tcf pass system-validity
548 test conversion-take-deanchored-form svalid011 tcf pass system-validity conversion
549 test inherited-conversion-crash svalid012 tcf pass system-validity conversion
550 test unused-local-warning-not-repeated svalid013 tcf fail system-validity
551 test inline-agent-inherited-crash svalid014 tcf pass system-validity
552 test svalid-multi-constraint-inheritance svalid015 tcf pass system-validity multiconstraint
553 test svalid-conversion-validity-error svalid016 tcf pass system-validity
554 test svalid-inherited-invariant-not-checked svalid017 tcf fail system-validity
555 test svalid-invalid-parent svalid018 tcf pass system-validity conversion
556 test svalid-conversion-with-binary svalid019 tcf pass system-validity conversion
557 test svalid-undetected-vwoe svalid020 tcf pass system-validity conversion
558 test svalid-conversion-detachable svalid022 tcf fail system-validity conversion
559 test svalid-missing-recheck svalid023 tcf fail system-validity conversion
560 test inspect-inherited-static-access-missing-library svalid024 tcf pass system-validity
561 test svalid-inherited-agent-with-formal-switch svalid025 tcf pass system-validity agent
562 test svalid-redefined-precursor-not-checked svalid026 tcf fail system-validity
563 test svalid-conversion-forget svalid027 tcf fail system-validity conversion
564 test svalid-generic-rename-with-alias svalid028 tcf fail system-validity generic rename
565 test svalid-inherited-renamed-prefix svalid029 tcf fail system-validity rename
566 test svalid-generic-creation svalid030 tcf fail system-validity generic
567
568 -- Catcall tests
569 test simple-catcall catcall001 tcf pass catcall
570 test simple-catcall-generic catcall002 tcf pass catcall
571 test catcall-check-failure-recursive-generic catcall003 tcf pass catcall
572 test catcall-generic catcall004 tcf pass catcall
573 test catcall-generic-numeric catcall005 tcf pass catcall
574 test catcall-at-runtime-detection catcall006 tcf pass catcall
575 test wrong-catcall-reported-on-generic-expanded catcall007 tcf pass catcall
576 test wrong-catcall-on-function-tuple catcall008 tcf fail catcall
577
578 -- Incrementality tests
579
580 test vlec-sneak incr001 tcf pass incrementality
581 test chg-inspect-const-type incr002 tcf pass incrementality
582 test vscn-sneak incr003 tcf pass incrementality
583 test vuex-sneak incr004 tcf pass incrementality
584 test vcfg-sneak incr005 tcf pass incrementality
585 test vdrd-sneak incr006 tcf pass incrementality
586 test vwbe-sneak incr007 tcf pass incrementality
587 test vjrv-sneak incr008 tcf pass incrementality
588 test vuar-sneak incr009 tcf pass incrementality
589 test vtat-sneak incr010 tcf pass incrementality
590 test veen-sneak incr011 tcf pass incrementality
591 test vtbt-sneak incr012 tcf pass incrementality
592 test vd29-sneak incr014 tcf pass incrementality
593
594 test vtec-compiler-wrong incr015 tcf pass incrementality
595 test chg-class-name incr016 tcf pass incrementality
596 test switch-class-names incr017 tcf pass incrementality
597 test vlec-compiler-wrong incr018 tcf pass incrementality
598 test vdrd-compiler-wrong incr019 tcf pass incrementality
599 test vd10-becomes-syntax-error incr021 tcf pass incrementality
600
601 test generic-pass-one-twice incr022 tcf pass incrementality
602
603 test expanded-deferred-exception incr023 tcf pass incrementality
604 test vtug-retry incr024 tcf pass incrementality
605 test valid-like-generic-deriv incr025 tcf pass incrementality
606 test cut-long-client-chain incr026 tcf pass incrementality
607 test generic-root-vcfg incr027 tcf pass incrementality
608 test pass4-melt-exception incr028 tcf pass incrementality
609 test deferred-to-const-attr incr029 tcf pass incrementality
610 test repeated-func-to-attr incr030 tcf pass incrementality
611 test external-info-exception incr031 tcf pass incrementality
612 test mystery-bug incr032 tcf pass incrementality
613 test dispatch-unit-exception incr033 tcf pass incrementality
614 test unsolved-type incr034 tcf pass incrementality
615 test chg-expanded-actual-generic incr035 tcf pass incrementality
616 test chg-root-class-name incr036 tcf pass incrementality
617 test del-add-kernel-cluster incr037 tcf pass incrementality
618 test cannot-update-types incr038 tcf pass incrementality
619 test add-generic-constraint incr039 tcf pass incrementality
620 test intro-vwoe-precondition incr040 tcf pass incrementality
621 test change-delete-invariant incr041 tcf pass incrementality
622 test delete-add-invariant incr042 tcf pass incrementality
623
624 test unique-not-unique incr043 tcf pass incrementality
625 test unique-not-consecutive incr044 tcf pass incrementality
626 test chg-integer-const-value incr045 tcf pass incrementality
627 test expanded-class-bad-behavior incr046 tcf pass incrementality
628 test expanded-generic-exec-panic incr047 tcf pass incrementality
629 test call-proc-print-attr incr048 tcf pass incrementality
630 test remove-inheritance-cycle incr049 tcf pass incrementality
631 test rename-secret-attribute incr050 tcf pass incrementality
632 test add-vscn-violation incr051 tcf pass incrementality
633 test bogus-vd27 incr052 tcf pass incrementality
634 test expand-attribute incr053 tcf pass incrementality
635 test vdrd7-sneak incr054 tcf pass incrementality
636 test move-external-make-do incr055 tcf pass incrementality
637 test fix-constrained-actual-generic incr056 tcf pass incrementality
638 test vtec-sneak incr057 tcf pass incrementality
639 test chg-inspect-const-value incr058 tcf pass incrementality
640 test bogus-vaol incr059 tcf pass incrementality
641 test vgcc-sneak incr060 tcf pass incrementality
642 test cannot-write-updt incr061 tcf pass incrementality
643 test change-generic-derived-external incr062 tcf pass incrementality
644 test bogus-vaol2 incr063 tcf pass incrementality
645 test bogus-vd27-2 incr064 tcf pass incrementality
646 test nonexistent-vmrc incr065 tcf pass incrementality
647 test vd38-sneak incr066 tcf fail incrementality
648 test del-creation-proc-add-two incr067 tcf pass incrementality
649 test invariant-expanded-generic incr068 tcf pass incrementality
650 test bogus-vcfg incr069 tcf fail incrementality
651 test chg-invariant-expr-type incr070 tcf pass incrementality
652 test delete-finite-add-back incr071 tcf pass incrementality
653 test expand-generic-no-creation-call incr072 tcf pass incrementality
654 test change-attr-expanded-type incr073 tcf pass incrementality
655 test bogus-vlec incr074 tcf pass incrementality
656 test vtbt-weasel incr075 tcf pass incrementality
657 test vwst-sneak incr076 tcf pass incrementality
658 test string-to-bit1 incr077 tcf pass incrementality
659 test string-to-bit-refreeze incr078 tcf pass incrementality
660 test vuar-weasel incr079 tcf pass incrementality
661 test vjaw-delete-creation-clause incr080 tcf pass incrementality
662 test name-exists-invariant incr082 tcf pass incrementality
663 test exclude-any-add-back incr083 tcf pass incrementality
664 test chg-bit-length-refreeze incr084 tcf pass incrementality
665 test create-chg-to-nonexpanded incr085 tcf pass incrementality
666 test frozen-feat-bogus-vd27 incr086 tcf pass incrementality
667 test vomb-sneak incr087 tcf pass incrementality
668 test new-ace-root-still-vscn incr088 tcf fail incrementality
669 test delete-generic-class-header incr089 tcf pass incrementality
670 test vtbt-granddad-weasel incr090 tcf pass incrementality
671 test intro-vtat-attr-to-proc incr091 tcf pass incrementality
672 test vomb2-called-vomb5 incr092 tcf pass incrementality
673 test vcfg1-called-vffd7 incr093 tcf fail incrementality
674 test bogus-vdrs incr094 tcf pass incrementality
675 test vwst-cant-find-feature incr095 tcf pass incrementality
676 test vgcp-sneak incr096 tcf pass incrementality
677 test anchored-constraint-touch-file incr097 tcf pass incrementality
678 test redef-external-chg-to-effect incr098 tcf pass incrementality
679 test vjaw-sneak incr099 tcf pass incrementality
680 test external-with-alias-new-root incr100 tcf pass incrementality
681 test vncb-sneak incr101 tcf pass incrementality
682 test bigger-bit-func-wrong-value incr102 tcf fail incrementality
683 test vdrd-weasel incr103 tcf pass incrementality
684 test ext-with-alias-new-cluster incr104 tcf pass incrementality
685 test veen-cant-find-feature incr105 tcf pass incrementality
686 test no-precomp-chg-class-name incr106 tcf pass incrementality
687 test root-none-remove-cluster incr107 tcf pass incrementality
688 test veen2-called-veen22 incr108 tcf pass incrementality
689 test bool-string-to-bit-ref incr109 tcf pass incrementality ec_precondition
690 test chg-expanded-source-freeze incr110 tcf pass incrementality
691 test melt-chg-attr-type-freeze incr111 tcf pass incrementality
692 test actual-generic-vtbt-sneak incr112 tcf pass incrementality
693 test vtcg-sneak incr113 tcf pass incrementality
694 test vtat1-called-vtcg incr114 tcf pass incrementality
695 test new-root-cluster-bogus-vscn incr115 tcf fail incrementality
696 test delete-ace-resume-compile incr116 tcf pass incrementality
697 test new-precomp-cluster-bogus-vd41 incr117 tcf pass incrementality
698 test short-manifest-bit-array-arg incr118 tcf pass incrementality
699 test reduce-bit-attribute-size incr119 tcf pass incrementality
700 test vuar1-called-veen incr120 tcf pass incrementality
701 test none-then-string-generic incr121 tcf pass incrementality
702 test switch-expanded-attributes incr122 tcf pass incrementality
703 test add-attribute-wrong-strip incr123 tcf pass incrementality
704 test switch-parents-assertion-order incr124 tcf pass incrementality
705 test change-numeric-formal-argument incr125 tcf pass incrementality
706 test generic-veen-sneak incr126 tcf pass incrementality
707 test add-unused-formal-generic incr127 tcf pass incrementality
708 test make-generic-expanded-freeze incr128 tcf pass incrementality
709 test vtcg-in-generic-constraint incr129 tcf fail incrementality
710 test vtct-vtcg-die-degree-5 incr130 tcf pass incrementality
711 test finalize-remove-expanded-type incr131 tcf pass incrementality
712 test external-arg-signature-mismatch incr132 tcf pass incrementality
713 test bogus-vd28 incr133 tcf fail incrementality
714 test remove-part-of-external-decl incr134 tcf pass incrementality
715 test cast-external-add-white-space incr135 tcf pass incrementality
716 test make-visible-class-unreachable incr136 tcf fail incrementality
717 test fix-veen-add-vrfa incr137 tcf pass incrementality
718 test vtcg-weasel incr138 tcf pass incrementality
719 test rename-get-new-precursor incr139 tcf pass incrementality
720 test add-remove-root-generic incr140 tcf pass incrementality
721 test none-then-tuple-generic incr141 tcf pass incrementality tuple
722 test make-root-expanded-freeze incr142 tcf pass incrementality
723 test change-expanded-tuple-bit incr143 tcf pass incrementality tuple
724 test vtcg-remove-creation-feat incr144 tcf fail incrementality
725 test add-remove-vsrt incr145 tcf pass incrementality
726 test add-remove-constraint-vtcg incr146 tcf pass incrementality
727 test melt-then-empty-ace incr147 tcf pass incrementality
728 test vtcg-creator-try-again incr148 tcf pass incrementality
729 test unreachable-syntax-error incr149 tcf fail incrementality
730 test add-remove-veen-freeze incr150 tcf pass incrementality
731 test finalize-move-attribute incr151 tcf pass incrementality
732 test vtcg-remove-creation-clause incr152 tcf fail incrementality
733 test change-once-to-do incr153 tcf pass incrementality
734 test invalid-expanded-generic incr154 tcf pass incrementality
735 test vjar-sneak incr155 tcf fail incrementality
736 test resume-vtcg-none-actual incr156 tcf fail incrementality
737 test constraint-cycle-change-generic incr157 tcf pass incrementality
738 test vsrt-vtct-vcfg-die incr158 tcf pass incrementality
739 test vtct-vcfg-vsrt-die incr159 tcf pass incrementality
740 test alternate-vd27-and-vsrt incr160 tcf pass incrementality
741 test missing-rescue-clause incr161 tcf pass incrementality
742 test vdpr-sneak incr162 tcf fail incrementality
743 test switch-generics-tricky-vtcg incr163 tcf fail incrementality
744 test delete-parent-vtcg-sneak incr164 tcf pass incrementality
745 test switch-generics-tricky-vdrd incr165 tcf pass incrementality
746 test change-external-melt incr166 tcf pass incrementality
747 test make-synonyms-vdpr-sneak incr167 tcf fail incrementality
748 test add-alternative-precondition incr168 tcf fail incrementality
749 test change-created-actual-generic incr169 tcf pass incrementality
750 test vmfn-new-deferred-ancestor incr170 tcf pass incrementality
751 test external-routine-madness incr171 tcf pass incrementality
752 test resume-ace-syntax-error incr172 tcf pass incrementality
753 test byte-node-disaster incr173 tcf pass incrementality
754 test vxrc-sneak incr174 tcf pass incrementality
755 test set-has-loop-disaster incr175 tcf pass incrementality
756 test backup-directory-disaster incr176 tcf fail incrementality
757 test finalize-then-melt incr177 tcf pass incrementality
758 test freeze-expanded-finalize incr179 tcf pass incrementality
759 test make-const-variable-freeze incr180 tcf pass incrementality
760 test constant-variable-function incr181 tcf pass incrementality
761 test add-inherited-assertions incr182 tcf pass incrementality
762 test default-create-add-body incr183 tcf pass incrementality
763 test turn-off-multithreaded incr184 tcf fail incrementality multithreaded
764 test change-cplusplus-to-c incr185 tcf pass incrementality
765 test redefine-to-rename-refreeze incr186 tcf pass incrementality
766 test env-in-braces-bogus-vd01 incr187 tcf pass incrementality
767 test constant-variable-constant incr188 tcf fail incrementality
768 test freeze-print-int64-array incr189 tcf pass incrementality
769 test vsta-sneak incr190 tcf pass incrementality
770 test refinalize-with-assertions incr191 tcf pass incrementality
771 test freeze-const-freeze-finalize incr192 tcf pass incrementality
772 test move-class-bogus-vd16 incr193 tcf fail incrementality
773 test change-agent-return-type incr194 tcf pass incrementality
774 test change-agent-noexp-return-type incr195 tcf pass incrementality
775 test new-cluster-vscn-sneak incr196 tcf fail incrementality
776 test create-sub-cluster-bogus-vd30 incr197 tcf fail incrementality
777 test vgcc-weasel incr198 tcf fail incrementality
778 test add-vuar-remove-finalize incr199 tcf pass incrementality
779 test vtec-weasel incr200 tcf fail incrementality
780 test vtcg-then-syntax-error-then-ok incr201 tcf pass incrementality
781 test implicit-def-create-finalize incr202 tcf pass incrementality
782 test remove-syntax-warning-yes incr203 tcf pass incrementality
783 test bogus-vtec incr204 tcf pass incrementality
784 test vgcc-remove-generic-creator incr205 tcf fail incrementality
785 test expand-generic-remove-creation incr206 tcf pass incrementality
786 test chg-indexing-tag-to-attribute incr207 tcf fail incrementality
787 test bit-n-illegal-opcode incr208 tcf pass incrementality
788 test external-make-precondition-true incr209 tcf pass incrementality
789 test unexpand-class-no-conformance incr210 tcf fail incrementality conformance
790 test uninherit-any-vdpr2-sneak incr211 tcf fail incrementality
791 test c-inline-change-arg-order incr212 tcf pass incrementality
792 test chg-generic-c-inline-function incr213 tcf pass incrementality
793 test freeze-no-c-compile-melt incr214 tcf fail incrementality
794 test chg-constraint-add-create incr215 tcf pass incrementality
795 test chg-external-function-type incr217 tcf pass incrementality
796 test make-agent-target-expanded incr218 tcf pass incrementality
797 test expand-unexpand-agent-target incr219 tcf fail incrementality
798 test remove-constraint-veen-sneak incr220 tcf fail incrementality
799 test vuex-weasel incr221 tcf fail incrementality
800 test change-system-name incr222 tcf fail incrementality
801 test function-attribute-constant incr223 tcf fail incrementality
802 test vdpr-weasel incr224 tcf fail incrementality
803 test change-anchor-type-finalize incr225 tcf fail incrementality
804 test precompile-again incr226 tcf fail incrementality
805 test remove-ace-object-clause incr227 tcf fail incrementality
806 test add-del-static-ext-assertion incr228 tcf pass incrementality
807 test generic-agent-add-constraint incr229 tcf fail incrementality
808 test remove-vtcg-still-complains incr230 tcf pass incrementality
809 test vncp-sneak incr231 tcf fail incrementality
810 test vifi-sneak incr232 tcf fail incrementality
811 test bogus-vtct incr233 tcf pass incrementality
812 test expanded-main-entry-vanished incr234 tcf fail incrementality
813 test once-status-change incr235 tcf pass incrementality multithreaded
814 test generic-status-change incr236 tcf pass incrementality
815 test remove-convert-clause incr237 tcf pass incrementality
816 test infinite-recompilation incr238 tcf pass incrementality
817 test typed-pointer-remove-expanded-derivation incr239 tcf pass incrementality
818 test change-unique-in-inspect incr240 tcf pass incrementality
819 test like-anchor-recompile-in-generic-class incr241 tcf pass incrementality
820 test remove-two-classes-crash incr242 tcf pass incrementality
821 test manifest-array-recompilation-crash incr243 tcf pass incrementality
822 test vtct-vcfg-vsrt-die2 incr244 tcf pass incrementality
823 test remove-add-root-cluster-crash incr245 tcf pass incrementality
824 test replicated-once-recompilation incr246 tcf fail incrementality
825 test change-manifest-type-expr incr247 tcf pass incrementality
826 test manifest-type-expr-none incr248 tcf pass incrementality
827 test internal-incrementality incr249 tcf fail incrementality
828 test move-implementation incr250 tcf pass incrementality
829 test assigner-for-synonym incr251 tcf pass incrementality
830 test add-unique incr252 tcf pass incrementality
831 test remove-rename-class incr253 tcf pass incrementality
832 test add-generic-creation-specification incr254 tcf pass incrementality
833 test remove-used-library incr255 tcf pass incrementality
834 test cluster-into-library-error incr256 tcf pass incrementality
835 test agent-add-arguments incr257 tcf pass incrementality
836 test agent-add-derivation incr258 tcf pass incrementality
837 test chg-class-with-inline-agent incr259 tcf pass incrementality
838 test lazy-call-on-attribute-agent incr260 tcf pass incrementality
839 test auto-properties-recompilation incr261 tcf pass incrementality dotnet
840 test detect-override incr263 tcf pass incrementality
841 test vtug-override incr264 tcf pass incrementality
842 test add-remove-inline-agent incr265 tcf pass incrementality
843 test chg-class-with-inline-agent incr266 tcf pass incrementality
844 test resume-after-error-in-class-with-inline-agent incr267 tcf pass incrementality
845 test change-generic-type-of-agent-target incr268 tcf pass incrementality
846 test inline-agent-with-local-in-inherited-assertion incr269 tcf pass incrementality
847 test class-conflict-error-sneak incr270 tcf pass incrementality
848 test type-getting-confused incr271 tcf pass incrementality
849 test wiping-out-types incr272 tcf pass incrementality
850 test noclass-syntax incr273 tcf pass incrementality
851 test gc-crash-in-melted-agent-creation incr274 tcf pass incrementality
852 test expanded-not-expanded incr275 tcf pass incrementality
853 test finalize-changed-agent-to-changed-feature incr276 tcf pass incrementality
854 test inline-agent-from-scratch-bug incr277 tcf pass incrementality
855 test changing-formals-invariant-not-removed incr278 tcf pass incrementality
856 test changing-formals-precursor-crash incr279 tcf pass incrementality
857 test console-setting-change incr280 tcf pass incrementality
858 test vtcg-add-remove-missing-error incr281 tcf pass incrementality
859 test funky-removal-of-type incr282 tcf pass incrementality
860 test multi-constraint-incremental-crash incr283 tcf pass incrementality
861 test removing-formal-crashes incr284 tcf pass incrementality
862 test partial-generic-addition-crash incr285 tcf pass incrementality
863 test change-export-create-generic-contraint-error-ignored incr286 tcf fail incrementality
864 test inherit-crash-after-update incr287 tcf pass incrementality
865 test large-formal-changes incr288 tcf pass incrementality
866 test change-system-crash incr289 tcf pass incrementality
867 test unresolved-c-externals incr290 tcf pass incrementality
868 test unresolved-c-externals-2 incr291 tcf pass incrementality
869 test bogus-vmrc-2 incr292 tcf pass incrementality
870 test inherited-code-checking-crash incr293 tcf fail incrementality
871 test invalid-root-procedure incr294 tcf pass incrementality
872 test generic-replication-nc-crash incr295 tcf pass incrementality
873 test consecutive-error-fix-sequence-crash incr296 tcf pass incrementality
874 test add-empty-create-clause incr297 tcf fail incrementality
875 test change-expanded-class-name incr298 tcf pass incrementality
876 test add-feature-invalidate-generic-rename incr299 tcf fail incrementality
877 test generic-call-renamed-default-create incr300 tcf fail incrementality
878 test ececil-undefined-symbol incr301 tcf fail incrementality
879 test pattern-of-id-crash incr302 tcf fail incrementality
880 test add-default-create-invalid-vtec incr303 tcf fail incrementality
881 test change-base-library-to-base-safe incr304 tcf fail incrementality
882 test add-then-remove-vlec-via-generic incr305 tcf fail incrementality
883 test attempt-on-expanded-then-reference incr306 tcf fail incrementality
884 test formal-generic-constraint-rename-crash incr307 tcf fail incrementality
885 test generic-attach-mark-change-bogus-vevi incr308 tcf fail incrementality
886 test real-feature-id-crash incr309 tcf fail incrementality
887 test change-class-to-deferred-vtcg-sneak incr310 tcf fail incrementality
888 test remove-and-add-base-eats-memory incr311 tcf fail incrementality skip
889 test generate-final-c-body-crash incr312 tcf fail incrementality
890 test remove-convert-clause-undetected-vjar incr313 tcf fail incrementality
891 test add-inherit-clause-undetected-vycp incr314 tcf fail incrementality
892 test add-remove-expanded-mark-generic-class incr315 tcf fail incrementality
893 test make-parent-expanded-call-precursor incr316 tcf fail incrementality
894 test remove-convert-clause-crash incr317 tcf fail incrementality
895 test remove-convert-clause-bogus-vncp incr318 tcf fail incrementality
896 test execution-failure-after-vevi incr319 tcf fail incrementality
897 test switch-to-conforming-inheritance incr320 tcf fail incrementality
898 test eif-gen-conf-init-crash incr321 tcf fail incrementality
899 test function-to-attribute-refinalize incr322 tcf fail incrementality
900 test change-obsolete-syntax-to-transitional incr323 tcf pass incrementality
901 test vd71-called-syntax-error incr324 tcf pass incrementality
902 test c-syntax-error incr325 tcf pass incrementality
903 test override-checkin-crash incr326 tcf pass termination
904 test bogus-vfav incr327 tcf pass incrementality
905 test vfav-sneak incr328 tcf pass incrementality
906 test add-class-then-make-expanded incr329 tcf pass incrementality
907 test dead-code-removal-crash incr330 tcf pass incrementality
908 test return-value-type-mismatch incr331 tcf pass incrementality
909 test generate-wrapper-crash incr332 tcf pass incrementality
910 test ececil-undefined-symbol-2 incr333 tcf fail incrementality
911 test efrozen-undefined-symbol incr334 tcf fail incrementality
912 test ececil-undefined-symbol-3 incr335 tcf fail incrementality
913 test can-be-inlined-crash incr336 tcf fail incrementality
914 if WINDOWS test shared-library-definition-update incr337 tcf pass incrementality windows dll
915 test bogus-construct-not-supported incr338 tcf fail incrementality
916 test bracket-trigger-c-compilation-error incr339 tcf pass incrementality c_compilation
917 test class-name-mismatch-internal-error incr340 tcf fail incrementality
918 test nonexistent-veen incr341 tcf fail incrementality
919 test formulate-inherited-assertions-crash incr342 tcf fail incrementality
920 test feature_b-process-crash incr343 tcf fail incrementality
921 test new-generic-deriv-attribute-agent incr344 tcf fail incrementality
922 test supports-step-in-crash incr345 tcf fail incrementality
923 test is-expanded-crash incr346 tcf fail incrementality
924 test class-removal-crash-freeze incr347 tcf fail incrementality
925 test melted-agent-creation-crash incr348 tcf fail incrementality
926 test storable-version-update incr349 tcf fail incrementality reflection storable
927 test formal-creation-crash incr350 tcf pass incrementality
928 test inline-agent-invariant-crash incr351 tcf pass incrementality agents
929 test qat-change-remote-anchor-name incr352 tcf fail incrementality anchored_type
930 test qat-change-remote-anchor-type incr353 tcf fail incrementality anchored_type
931 test qat-none-crash incr354 tcf pass incrementality anchored_type
932 test resume-vlec-eat-memory incr355 tcf fail incrementality expanded manual
933 test qat-is-expanded-crash incr356 tcf fail incrementality anchored_type
934 test change-expanded-anchor-type incr357 tcf fail incrementality anchored_type
935 test qat-is-expanded-crash-2 incr358 tcf fail incrementality anchored_type
936 test qat-is-expanded-crash-3 incr359 tcf fail incrementality anchored_type
937 test bogus-vtcg-2 incr360 tcf fail incrementality generic anchored_type
938 test formal-entry-crash incr361 tcf fail incrementality generic anchored_type
939 test qat-nonexistent-veen incr362 tcf fail incrementality generic anchored_type
940 test qat-static-type-id-crash incr363 tcf fail incrementality generic anchored_type
941 test qat-resume-veen-compiler-error incr364 tcf fail incrementality generic anchored_type
942 test renamed-type-crash incr365 tcf fail incrementality generic
943 test once-per-object-add-descendant incr366 tcf pass incrementality once
944 test change-constraint-rename-crash incr367 tcf fail incrementality generic anchored_type
945 test qat-change-parent-actual-generic incr368 tcf fail incrementality generic anchored_type
946 test qat-veen-instead-of-vtat incr369 tcf fail incrementality anchored_type
947 test qat-constrained-type-in-crash-2 incr370 tcf fail incrementality anchored_type
948 test rename-routine-error incr371 tcf fail incrementality
949 test qat-finalize-panic-cascade incr372 tcf fail incrementality
950 test finalize-feature-name-crash incr373 tcf fail incrementality
951 test static-type-id-crash incr374 tcf fail incrementality
952 test rout-entry-crash incr375 tcf fail incrementality
953 test finalize-once-per-object-wrong incr376 tcf pass incrementality
954 test retry-missing-library-file incr377 tcf fail incrementality
955 test saving-generic-class-crash incr378 tcf pass incrementality
956 test change-target-inheritance incr379 tcf fail incrementality
957 test config-remove-root-element incr380 tcf fail incrementality
958 test remove-base-library-add-back incr381 tcf fail incrementality
959 test disk-item-io-error incr382 tcf fail incrementality
960 test compiler-panic incr383 tcf fail incrementality
961 test descriptor-list-put-crash incr384 tcf pass incrementality
962 test deep-twin-agent-infinite-loop incr385 tcf fail incrementality manual
963 test conform-to-precondition-violation incr386 tcf fail incrementality
964 test disk-item-io-error-2 incr387 tcf fail incrementality
965 test static-type-id-crash-2 incr388 tcf fail incrementality
966 test remove-occurrence-precondition-violation incr389 tcf fail incrementality
967 test constant-suppliers-crash incr390 tcf fail incrementality
968 test rout-entry-crash-2 incr391 tcf fail incrementality
969 test is-less-equal-postcondition-violation incr392 tcf fail incrementality
970 test once-per-object-change-body incr393 tcf fail incrementality
971 test add-vsrt4-to-expanded-then-remove incr394 tcf fail incrementality
972 test same-generic-derivation-as-crash incr395 tcf fail incrementality
973 test new-poly-table-crash incr396 tcf fail incrementality
974 test once-per-object-change-expansion incr397 tcf fail incrementality once
975 test once-per-object-remove-constraint incr398 tcf fail incrementality once
976 test once-per-object-change-inheritance incr399 tcf fail incrementality once
977 test qat-change-constant-anchor-type incr400 tcf fail incrementality anchored_type
978 test renaming-class-in-constraint-crash incr401 tcf fail incrementality renaming
979 test fix-expanded-generic-vlec-infinite-loop incr402 tcf fail incrementality expanded manual
980 test qat-change-agent-target-type incr403 tcf fail incrementality anchored_type
981 test once-per-object-link-failure incr404 tcf fail incrementality once
982 test is-expanded-crash-2 incr405 tcf fail incrementality
983 test once-per-object-add-attributes incr406 tcf fail incrementality once
984 test once-per-object-to-attribute incr407 tcf fail incrementality once
985 test non-conforming-remove-precondition incr408 tcf fail incrementality non-conforming
986 test has-stable-attribute-crash incr409 tcf fail incrementality stable attached_types
987 test type-to-create-crash incr410 tcf fail incrementality attached_types
988 test rout-entry-crash-3 incr411 tcf fail incrementality
989 test create-qualified-explicit-crash incr412 tcf fail incrementality anchored_types
990 test adding-removing-transient incr413 tcf fail incrementality transient
991 test removing-descendant-crash incr414 tcf fail incrementality
992 test system-change-crash incr415 tcf fail incrementality
993 test recompilation-forces-freeze incr416 tcf fail incrementality
994
995
996 -- Melting
997
998 test divide-melt-panic melt001 tcf pass melting
999 test bit-melt-metamorphose melt002 tcf pass melting
1000 test manifest-array-with-old melt003 tcf pass melting
1001 test ref-actual-expanded-formal melt004 tcf pass melting
1002 test real-const-arith-to-double melt005 tcf pass melting
1003
1004 test multiple-unary-free-ops melt006 tcf pass melting
1005 test chained-assertion-melt melt007 tcf pass melting assertion
1006 test melted-putreal-wrong melt008 tcf pass melting
1007 test invariant-melt-panic melt009 tcf pass melting
1008 test weird-sprintf-melt-panic melt010 tcf pass melting manual
1009 test manifest-array-int-double melt011 tcf pass melting
1010 test raise-exception-call-self melt012 tcf fail melting
1011 test invalid-assertion-level melt013 tcf pass melting assertion
1012 test creation-proc-modify-target melt014 tcf pass melting
1013 test nested-expanded-creation melt015 tcf pass melting
1014 test chg-external-to-internal melt016 tcf pass melting
1015 test melted-invariant-memory-leak melt017 tcf pass melting
1016 test expanded-melted-equal-current melt018 tcf pass melting
1017 test postcondition-veen-then-restore melt019 tcf pass melting
1018 test invariant-veen-skip-invariant melt020 tcf pass melting
1019 test chg-argless-func-to-constant melt021 tcf pass melting
1020 test ensure-extend-linked-list melt022 tcf pass melting
1021 test old-expanded-melted-creations melt023 tcf fail melting
1022 test manifest-array-expanded-generic melt024 tcf pass melting
1023 test bit-two-to-the-twenty-four melt025 tcf pass melting
1024 test manifest-array-of-expanded melt026 tcf pass melting
1025 test expanded-clone-of-clone melt027 tcf pass melting
1026 test named-bit-constant-argument melt028 tcf pass melting
1027 test named-constant-call-out melt029 tcf pass melting
1028 test cloned-bit-actual-argument melt030 tcf fail melting
1029 test evaluate-old-when-retry melt031 tcf fail melting
1030 test eval-precondition-when-retry melt032 tcf pass melting
1031 test melted-two-level-rescue melt033 tcf pass melting
1032 test who-gets-exp-local-exception melt034 tcf fail melting
1033 test when-init-expanded-local melt035 tcf fail melting
1034 test manifest-array-elem-eval-order melt036 tcf fail melting
1035 test old-expression-eval-order melt037 tcf fail melting
1036 test pass-expanded-like-current melt038 tcf pass melting
1037 test generic-local-expanded-actual melt039 tcf pass melting
1038 test infix-integer-real-double melt040 tcf pass melting
1039 test bit-two-to-the-fifteen melt041 tcf pass melting
1040 test put-double-five-over-two melt042 tcf pass melting
1041 test expanded-creation-alloc-memory melt043 tcf pass melting
1042 test melted-creation-pass-target melt044 tcf pass melting
1043 test once-result-uninitialized melt045 tcf pass melting
1044 test melted-attribute-address melt046 tcf pass melting
1045 test null-in-debug-key melt047 tcf pass melting
1046 test melted-short-integers melt048 tcf pass melting
1047 test wide-char-comparison melt049 tcf pass melting
1048 test add-root-creation-arg melt050 tcf pass melting
1049 test wrong-field-count melt051 tcf pass melting
1050 test invariant-melted-once-function melt052 tcf pass melting
1051 test melted-integer-compare melt053 tcf pass melting
1052 test eval-precondition-on-retry melt054 tcf fail melting
1053 test melt-call-real-external melt055 tcf pass melting
1054 test melted-expanded-like-current melt056 tcf fail melting
1055 test melted-long-class-name melt057 tcf pass melting
1056 test melt-pass-bit-shift melt058 tcf pass melting
1057 test inspect-integer-64-one melt059 tcf pass melting
1058 test melted-profile-system melt060 tcf fail melting profile
1059 test integer-16-minus-one melt061 tcf pass melting
1060 test melted-invariant-invalid-object melt062 tcf fail melting
1061 test melted-void-expanded-arg melt063 tcf pass melting
1062 test melted-local-referers melt064 tcf fail melting
1063 test melted-profinfo-wrong-dir melt065 tcf fail melting
1064 test bit-n-out-of-memory melt066 tcf pass melting
1065 test expanded-generic-anchored-local melt067 tcf fail melting
1066 test melted-old-expanded-result melt068 tcf pass melting
1067 test expanded-list-like-current melt069 tcf fail melting
1068 test special-expanded-creation melt070 tcf pass melting special
1069 test melt-old-expression-in-redefinition melt071 tcf pass melting execution
1070 test compare-var-attribute-addrs melt072 tcf fail melting execution
1071 test increment-character melt073 tcf pass melting execution
1072 test int64-cast-uint64 melt074 tcf pass melting execution
1073 test character_32-inspect melt075 tcf pass melting execution
1074 test invariant-check-melted-agent-callee melt076 tcf pass melting execution
1075 test dollar-with-tuple melt077 tcf pass melting execution tuple
1076 test dollar-with-expanded-attribute melt078 tcf pass melting execution
1077 test runtime-stack-corruption melt079 tcf pass melting execution
1078 test nan-comparison melt080 tcf pass melting execution ieee
1079 test melted-special-creation-crash melt081 tcf pass melting execution special
1080 test melted-external-call melt082 tcf pass melting execution
1081 test melted-agent-call-on-void-target melt083 tcf fail execution melting
1082 test inherited-like-current-object-test melt084 tcf fail execution melting
1083 test melted-anchored-precursor-object-test melt085 tcf fail execution melting
1084 test melted-anchored-precursor-in-tuple melt086 tcf fail execution melting
1085 test redefined-once-with-alt-precondition melt087 tcf fail execution melting
1086 test character_32-constant melt088 tcf fail execution melting
1087 test alt-precondition-call-on-void-target melt089 tcf fail execution melting
1088 test melted-object-test-with-anchored-none melt090 tcf fail execution melting
1089 test melted-creation-crash melt091 tcf pass execution melting
1090 test melted-agent-exception-crash melt092 tcf fail execution melting agents
1091 test raise-exception-inspect-branch melt093 tcf fail execution melting
1092 test dollar-with-expanded-attribute-in-generic melt094 tcf fail execution melting
1093 test wrong-line-number-in-trace melt095 tcf fail execution melting
1094 test bad-melted-infix melt096 tcf pass execution melting
1095 test new-type-type-melted melt097 tcf pass execution melting
1096 test melted-type-of-generic melt098 tcf pass execution melting reflection
1097 test melted-tuple-expression-order melt099 tcf pass execution melting tuple
1098 test melted-creation-constrained-generic melt100 tcf fail execution melting generic
1099 test melted-once-creation-of-generic melt101 tcf fail execution melting generic
1100 test melted-special-creation-crash-2 melt102 tcf pass melting execution special
1101
1102 -- Freezing
1103
1104 test bit-arg-extend-frozen freez001 tcf fail freezing
1105 test frozen-xor-precedence-error freez002 tcf pass freezing
1106 test extend-short-bit-constant freez003 tcf pass freezing
1107 test frozen-high-bit-characters freez004 tcf pass freezing
1108 test who-gets-old-exception freez005 tcf pass freezing
1109 test expanded-local-no-creation freez006 tcf pass freezing
1110 if not DOTNET test init-expanded-local-when-retry freez007 tcf fail freezing
1111 test redefine-expanded-to-attribute freez008 tcf fail freezing
1112 test assign-attempt-exp-to-ref freez009 tcf pass freezing
1113 test deep-clone-frozen-not-equal freez010 tcf pass freezing
1114 test compare-frozen-high-bit-chars freez011 tcf pass freezing
1115 test compare-frozen-real-arg freez012 tcf pass freezing
1116 test frozen-retried-precondition freez013 tcf pass freezing
1117 test tuple-expanded-and-integer freez014 tcf pass freezing tuple
1118 test address-of-redefined-routine freez015 tcf fail freezing
1119 test integer-8-generating-type freez016 tcf pass freezing
1120 test frozen-agent-lighter-argument freez017 tcf pass freezing
1121 test frozen-prefix-attribute freez018 tcf pass freezing
1122 test tuple-i16-plus-i8 freez019 tcf pass freezing tuple
1123 test minus-minus-double freez020 tcf pass freezing
1124 test dispose-with-rescue freez021 tcf pass freezing
1125 test anchored-double-function freez022 tcf fail freezing
1126 test real-times-real-postcondition freez023 tcf pass freezing
1127 test inspect-high-bit-integer8 freez024 tcf pass freezing
1128 test frozen-bitwise-and-local freez025 tcf pass freezing
1129 test wrong-generic-type-caching freez026 tcf pass freezing
1130 test freeze-with-unused-locals freez027 tcf pass freezing
1131 test freeze-with-conversion freez028 tcf pass freezing
1132 test object-test-with-generic-type freez029 tcf pass freezing
1133 test invariant-qualified-call-on-constant freez030 tcf fail freezing
1134 test expanded-like-current-void-precursor freez031 tcf fail freezing
1135 test boolean-hash-code freez032 tcf fail freezing
1136
1137 -- Finalizing
1138
1139 test finalize-expanded-not-equal final001 tcf pass finalizing
1140 test finalize-debug-inst-not-kept final002 tcf pass finalizing
1141 test finalize-manifest-array-call final003 tcf pass finalizing
1142 test finalize-ensure-keep-dead final004 tcf pass finalizing
1143 test finalize-pass-wrong-argument final005 tcf pass finalizing
1144 test finalize-expanded-generic-bit final006 tcf pass finalizing
1145 test finalize-expand-creation-order final007 tcf pass finalizing
1146 test finalize-expanded-arg-result final008 tcf pass finalizing
1147 test finalize-array-optimization final009 tcf pass finalizing
1148 test finalize-random-arrayed-list final010 tcf pass finalizing
1149 test finalize-skip-rescue-clause final011 tcf pass finalizing
1150 test finalize-cast-func-result final012 tcf pass finalizing
1151 test finalize-array-opt-expanded final013 tcf pass finalizing
1152 test finalize-redef-external-macro final014 tcf pass finalizing
1153 test finalize-inline-precursor final015 tcf pass finalizing inlining
1154 test finalize-array-opt-2 final016 tcf pass finalizing
1155 test finalize-delayed-deferred-call final017 tcf pass finalizing
1156 test finalize-inline-none-proc final018 tcf pass finalizing inlining
1157 test inline-generic-assign-attempt final019 tcf pass finalizing inlining
1158 test finalize-or-else-true final020 tcf pass finalizing execution
1159 test finalize-mult-double-constant final021 tcf pass finalizing execution
1160 test expanded-generic-return-type final022 tcf pass finalizing execution
1161 test bigger-array-of-bit final023 tcf pass finalizing execution
1162 test finalize-skip-invariant final024 tcf fail finalizing
1163 test inline-pass-expanded final025 tcf pass finalizing inlining
1164 test c-inline-function-ten-args final026 tcf pass finalizing inlining
1165 test inline-linked-list-expanded final027 tcf pass finalizing inlining
1166 test vicious-finalize-bug final028 tcf pass finalizing
1167 test inline-arrayed-list-expanded final029 tcf pass finalizing inlining
1168 test inline-void-argument final030 tcf pass finalizing inlining
1169 test precursor-call-current-instead-of-precursor final031 tcf pass finalizing
1170 test finalize-manifest-type-expr final032 tcf pass finalizing
1171 test inline-once-string final033 tcf pass finalizing inlining
1172 test inline-deferred-routine-with-only-one-implementation final034 tcf pass finalizing inlining
1173 test dynamic-deferred-routine-implemented-in-generic final035 tcf pass finalizing
1174 test inline-deferred-routine-with-one-external-implementation final036 tcf pass finalizing inlining
1175 test inline-deferred-routine-with-constants-implementations final037 tcf pass finalizing inlining
1176 test agent_to_feature_of_generic_class final038 tcf pass finalizing
1177 test wrong-attribute-dynamic-binding final039 tcf pass finalizing
1178 test dead-code-catcall final040 tcf pass finalizing
1179 test oms-ec-precondition-violation final041 tcf pass finalizing ec_precondition
1180 test inlining-finalization-crash final042 tcf pass finalizing inlining
1181 test inlining-on-named-tuple-crash final043 tcf pass finalizing tuple inlining
1182 test wrong-dynamic-dispatch-on-generic final044 tcf pass finalizing
1183 test change-generic-finalization-crash final045 tcf pass finalizing
1184 test polymorphic-call-leak final046 tcf fail finalizing
1185 test inlining-with-anchor final047 tcf pass finalizing inlining
1186 test inlining-deferred-from-other-branch final048 tcf pass finalizing inlining
1187 test polymorphic-call-on-formal-seed final049 tcf pass finalizing
1188 test inlining-with-anchor-2 final050 tcf pass finalizing inlining
1189 test wrong-polymorphic-wrapper final051 tcf pass finalizing
1190 test wrong-call-when-merging final052 tcf pass finalizing
1191 test wrong-polymorphic-wrapper-2 final053 tcf pass finalizing
1192 test wrong-polymorphic-external-wrapper final054 tcf pass finalizing
1193 test inlining-with-anchor-3 final055 tcf pass finalizing inlining
1194 test inlining-with-formal final056 tcf pass finalizing inlining
1195 test inlining-wrong-argument-reuse final057 tcf pass finalizing inlining
1196 test inlining-missing-gc-hooks final058 tcf pass finalizing inlining
1197 test inlining-with-inline-externals final059 tcf pass finalizing inlining
1198 test inlining-with-formal-2 final060 tcf pass finalizing inlining
1199 test inlining-with-less-formals final061 tcf pass finalizing inlining
1200 test inlining-with-less-formals-2 final062 tcf pass finalizing inlining
1201 test unresolved-c-externals-on-inline-agents final063 tcf pass finalizing
1202 test bad-c-inline-agent final064 tcf pass finalizing agents
1203 test inline-expanded-return final065 tcf pass finalizing inlining
1204 test wrong-generic-type-generation final066 tcf pass finalizing inlining
1205 test inline-agent-crash-final final067 tcf pass finalizing agents
1206 test inlined-generic-expanded-type final068 tcf pass finalizing inlining expanded generic
1207 test change-actual-generic-to-expanded final069 tcf fail finalizing expanded generic incrementality multithreaded
1208 test finalize-expanded-unref-local final070 tcf fail finalizing expanded
1209 test finalize-all-classes-true final071 tcf fail finalizing
1210 test finalize-self-init-attribute final072 tcf fail finalizing
1211 test finalize-invariant-wrong-class-name final073 tcf fail finalizing
1212 test finalize-bogus-invariant-violation final074 tcf fail finalizing
1213 test finalize-external-creation-procedure final075 tcf fail finalizing
1214 test finalize-inline-attribute-body final076 tcf fail finalizing inlining
1215 test finalize-creation-expression-corruption final077 tcf pass finalizing
1216 test finalize-inline-precursor-2 final078 tcf fail finalizing multiconstraint inlining
1217 test finalize-attribute-access-crash final079 tcf pass finalizing
1218 test finalize-inline-attribute-body-2 final080 tcf pass finalizing inlining
1219 test finalize-inline-external-redef-constant final081 tcf pass finalizing inlining
1220 test finalize-inherited-agent-redef-routine final082 tcf pass finalizing
1221 test finalize-inline-with-generic final083 tcf pass finalizing inlining
1222 test finalize-wrong-type final084 tcf pass finalizing
1223 test finalize-min-used-crash final085 tcf pass finalizing
1224 test finalize-object-test-side-effects final086 tcf pass finalizing
1225 test finalize-inline-merged-routine final087 tcf fail finalizing inlining
1226 test finalize-inline-check-void-target final088 tcf fail finalizing inlining
1227 test finalize-qat-object-test final089 tcf fail finalizing anchored_type
1228 test finalize-attached-dcr-missing final090 tcf pass finalizing
1229 test finalize-inline-same-generic-derivation-crash final091 tcf fail finalizing inlining
1230 test finalize-c-code-redeclared-identifier final092 tcf fail finalizing
1231 test finalize-create-expanded-generic final093 tcf fail finalizing
1232 test finalize-static-access-multicon-formal final094 tcf fail finalizing multiconstraint
1233 test finalize-generic-once-per-object final095 tcf fail finalizing once
1234 test finalize-qat-object-test-2 final096 tcf fail finalizing anchored_type
1235 test inline-deferred-with-one-implementation final097 tcf fail finalizing inlining
1236 test inline-with-generic-argument final098 tcf fail finalizing inlining
1237 test finalize-inline-merged-routine-2 final099 tcf fail finalizing inlining
1238 test inline-deferred-with-generic-descendant final100 tcf fail finalizing inlining
1239 test inline-deferred-with-generic-descendant-2 final101 tcf fail finalizing inlining
1240 test inline-inherited-routine-with-less-generics final102 tcf fail finalizing inlining
1241 test inline-inherited-routine-with-less-generics-2 final103 tcf fail finalizing inlining
1242 test finalize-wrong-generating-type final104 tcf fail finalizing expanded
1243 test inlining-parent-with-less-formals final105 tcf fail finalizing inlining
1244 test inlining-in-parent-with-child-with-less-formals final106 tcf fail finalizing inlining
1245 test finalize-argument-anchors-formal final107 tcf fail finalizing anchored_type
1246 test finalize-external-invariant-skipped final108 tcf fail finalizing assertions external
1247 test inline-manifest-type final109 tcf fail finalizing
1248 test profile-once-per-process-function final110 tcf fail finalizing
1249
1250 -- Runtime
1251 test gc-tracking-001 runtime001 tcf pass runtime
1252 test gc-tracking-002 runtime002 tcf pass runtime
1253 test gc-expanded-in-special runtime003 tcf pass runtime expanded special
1254 test gc-expanded-allocating-memory-in-special runtime004 tcf pass runtime expanded special
1255 if not DOTNET test adopt-wean-freeze-unfreeze-multithreaded runtime005 tcf pass runtime multithreaded
1256 test gc-expanded-allocating-memory-in-special-2 runtime006 tcf pass runtime expanded special
1257 test gc-tracking-003 runtime007 tcf pass runtime
1258 test memory_leak_with_invariant_on runtime008 tcf pass runtime multithreaded
1259 test missing-marking-with-no-gc runtime009 tcf pass runtime
1260 test zero-sized-objects-slowdown runtime010 tcf pass runtime
1261 test tuple-special-twin-bug runtime011 tcf pass runtime special
1262 test overflow-special-resizing runtime012 tcf pass runtime special manual
1263 test overflow-special-expanded-resizing runtime013 tcf pass runtime special expanded manual
1264 if WINDOWS test console-in-windows-dll runtime014 tcf pass runtime windows console input output dll
1265 test array-allocation-failure runtime015 tcf pass runtime special expanded array memory allocation exception
1266 test special-copy-data runtime016 tcf pass runtime special memory
1267 test weak-reference runtime017 tcf pass runtime weak_reference
1268
1269 -- Thread
1270 test cond-timedwait-failure thread001 tcf pass multithreaded
1271 test nested-thread-exit-failure thread002 tcf fail multithreaded
1272 test memory-leak-in-eif-thr-wait thread003 tcf pass multithreaded
1273 test creating-string-runtime-panic thread004 tcf pass multithreaded
1274 test mem-info-update-crash-after-threads thread005 tcf pass multithreaded
1275 test panic-when-too-many-allocation thread006 tcf pass multithreaded
1276 test join-with-no-children-leaks thread007 tcf pass multithreaded
1277 test memory-referers-not-thread-safe thread008 tcf pass multithreaded
1278 test exception-in-thread-failure thread009 tcf pass multitheaded
1279 test nested-thread-exit-failure-2 thread010 tcf pass multithreaded
1280 test deadlock-when-not-joining thread011 tcf fail multithreaded
1281 test deadlock-when-thread-not-exiting thread012 tcf pass multithreaded
1282 test synchronization-objects thread013 tcf pass multithreaded
1283 test launching-n-threads-on-same-object thread014 tcf pass multithreaded
1284 test join-with-timeout-failure thread015 tcf pass multithreaded
1285 test multithreaded-bogus-catcall thread016 tcf pass multithreaded
1286 test main-thread-terminates-before-child thread017 tcf pass multithreaded
1287 test shared-mutex-hang thread018 tcf pass multithreaded manual
1288 test thread-join-crash thread019 tcf pass multithreaded
1289
1290 -- Execution
1291
1292 test print-double exec001 tcf pass execution
1293 test bit-out-wrong exec002 tcf pass execution
1294 test real-conform-double exec003 tcf pass execution
1295 test power-operator exec004 tcf pass execution
1296 test once-routine-precond-fail exec005 tcf pass execution
1297 test wrong-int-div exec006 tcf pass execution
1298 test old-current-ne-current exec007 tcf pass execution
1299 test plus-before-free-unary exec008 tcf pass execution
1300 test free-binary-wrong-precedence exec009 tcf pass execution
1301 test divide-by-real-zero exec010 tcf fail execution
1302 test expanded-creation-order exec011 tcf pass execution
1303 test redecl-implicit-precond exec012 tcf pass execution
1304 test bit-equal-wrong exec013 tcf pass execution
1305 test variable-attr-wrong-address exec014 tcf pass execution manual
1306 test readline-long-line-wrong exec015 tcf pass execution
1307
1308 test rescue-floating-exception exec016 tcf pass execution
1309 test strip-wont-c-compile exec017 tcf pass execution
1310 test strip-with-void exec018 tcf pass execution
1311 test manifest-array-concat exec019 tcf pass execution
1312 test manifest-array-of-bits exec020 tcf pass execution
1313 test very-deep-clone exec021 tcf pass execution
1314 test out-of-locals exec022 tcf pass execution
1315 test prefix-oper-attribute exec023 tcf pass execution
1316 test long-linked-list-fails exec024 tcf pass execution
1317 test malloc-free-collect-coalesce exec026 tcf pass execution
1318 test memory-leak exec027 tcf fail execution skip
1319 test big-bit-attribute exec028 tcf pass execution
1320 test external-feature-address exec029 tcf pass execution
1321 test null-char-in-string exec030 tcf pass execution
1322 test uninit-root-class-arg exec031 tcf pass execution
1323 test int-equal-int exec032 tcf pass execution
1324 test wrong-oper-int-convert exec033 tcf pass execution
1325 test invariant-empty-property exec034 tcf pass execution
1326 test expanded-but-void-attribute exec035 tcf pass execution
1327 test expanded-creation-panic exec036 tcf pass execution
1328 test create-integer-then-incr exec037 tcf pass execution
1329 test once-expanded-result exec038 tcf pass execution
1330 test create-zero-len-bool-string exec039 tcf pass execution
1331 test merge-sort-panic exec040 tcf pass execution
1332 test random-memory-alloc-panic exec041 tcf pass execution
1333 test cecil-panic exec042 tcf pass execution manual
1334 test deep-clone-not-deep-equal exec043 tcf pass execution
1335 test auto-resize-exp-arrayed-list exec044 tcf pass execution
1336 test reference-to-sub-object exec045 tcf pass execution
1337 if not DOTNET test class-invariant-fail-panic exec046 tcf pass execution
1338 test clearer-ref-to-sub-object exec047 tcf fail execution
1339 test inline-external-root-proc exec048 tcf pass execution inlining
1340 test wrong-alt-precondition-order exec049 tcf fail execution
1341 test join-effect-precond-skipped exec050 tcf fail execution
1342 test attribute-postcondition-lost exec051 tcf fail execution
1343 test arrayed-list-clone-not-equal exec052 tcf pass execution
1344 test root-no-class-invariant exec053 tcf pass execution
1345 test integer-ref-gt-integer exec054 tcf pass execution
1346 test expanded-generic-like-current exec055 tcf pass execution
1347 test skip-deferred-feat-assertions exec056 tcf fail execution assertion
1348 test array-of-expanded-insert-fails exec057 tcf pass execution
1349 test once-bit-type-result exec058 tcf fail execution
1350 test bit-function-explicit-creation exec059 tcf pass execution
1351 test inherit-array-of-expanded exec060 tcf pass execution
1352 test bit-copy-panic-void-source exec061 tcf pass execution
1353 test conforms-to-with-generics exec062 tcf pass execution
1354 test deep-clone-panic exec063 tcf pass execution
1355 test random-string-blank-panic exec064 tcf pass execution
1356 test random-array-alloc-loop exec065 tcf pass execution
1357 test many-locals-deep-recursion exec066 tcf pass execution
1358 test big-expanded-attributes exec067 tcf pass execution
1359 test big-manifest-array-of-strings exec068 tcf pass execution manual
1360 test keep-on-stripping exec069 tcf pass execution
1361 test deep-exception-in-rescue exec070 tcf pass execution skip
1362 test few-locals-deep-recursion exec071 tcf pass execution
1363 test expanded-create-big-string exec072 tcf pass execution
1364 test negate-big-bit-local exec073 tcf pass execution
1365 test big-array-of-bit exec074 tcf pass execution
1366 test negative-eiffel-memory-used exec075 tcf pass execution
1367 test repeated-manifest-bit-array exec076 tcf pass execution
1368 test strip-with-expanded-attr exec077 tcf pass execution
1369 test manifest-array-of-strip exec078 tcf pass execution
1370 test rescue-recurse-many-retries exec079 tcf pass execution
1371 test diff-bit-constants-deep-equal exec080 tcf fail execution
1372 test print-null-get-nothing exec081 tcf pass execution
1373 test cloned-int-passed-to-double exec082 tcf pass execution
1374 test deep-clone-bit exec083 tcf fail execution
1375 test retry-forget-in-assertion exec084 tcf pass execution assertion
1376 test rescue-show-exception-meaning exec085 tcf pass execution
1377 test long-short-bits-not-equal exec086 tcf pass execution
1378 test clone-integer-boolean-character exec087 tcf pass execution
1379 if not DOTNET test expanded-local-void-in-rescue exec088 tcf pass execution
1380 test generic-formal-bit-actual-arg exec089 tcf pass execution
1381 test print-char-dot-is-digit exec090 tcf pass execution
1382 test expanded-skip-class-invariant exec091 tcf fail execution
1383 test parent-invariants-reverse-order exec092 tcf pass execution
1384 test external-routine-skip-assertion exec093 tcf pass execution
1385 test many-big-expanded-locals exec094 tcf pass execution
1386 test internal-exception-memory-leak exec095 tcf fail execution
1387 test expanded-local-raise-exception exec096 tcf pass execution
1388 test generic-attributes-not-equal exec097 tcf pass execution
1389 test out-of-memory-on-out exec098 tcf pass execution
1390 test inherit-generic-wrong-call exec099 tcf fail execution
1391 test generic-constrained-by-double exec100 tcf pass execution
1392 test strip-bad-linked-list exec101 tcf pass execution
1393 test manifest-array-of-tiny-strings exec102 tcf pass execution
1394 test expanded-pass-current exec103 tcf fail execution
1395 test exception-in-dispose exec104 tcf fail execution
1396 test freeze-expanded-tuple-attr exec105 tcf pass execution tuple
1397 test put-character-255 exec106 tcf pass execution
1398 test out-of-memory-panic exec107 tcf pass execution
1399 test redefine-expanded-as-attribute exec108 tcf pass execution
1400 test compare-var-to-default exec109 tcf pass execution
1401 test strip-memory-leak exec110 tcf fail execution
1402 test numeric-discrepancies exec111 tcf pass execution
1403 test melt-call-precomp-external exec112 tcf pass execution
1404 test all-chars-debug-key exec113 tcf fail execution
1405 test is-integer-ignores-null exec114 tcf pass execution
1406 test dynamic-runtime-bad-library exec115 tcf pass execution
1407 test agent-expanded-target exec116 tcf pass execution
1408 test print-integer64 exec117 tcf pass execution
1409 test print-max-negative-smallint exec118 tcf pass execution
1410 test safe-call-from-rescue exec119 tcf pass execution
1411 test multithreaded-string-blank exec120 tcf pass execution multithreaded
1412 test assign-attempt-affects-source exec121 tcf pass execution
1413 test wrong-generating-type exec122 tcf pass execution
1414 test long-tuple-corrupts-memory exec123 tcf pass execution tuple
1415 test replace-substring-with-self exec124 tcf pass execution
1416 test generic-generating-type exec125 tcf fail execution
1417 test create-tuple-of-tuples exec126 tcf fail execution tuple
1418 test print-big-constant exec127 tcf pass execution
1419 test assign-attempt-redefined-type exec128 tcf pass execution
1420 test melted-boolean-to-integer exec129 tcf pass execution
1421 test negative-integer-8 exec130 tcf pass execution
1422 test melted-memory-copy exec131 tcf pass execution
1423 test is-integer-accepts-invalid exec132 tcf pass execution
1424 test agent-lighter-tuple-arg exec133 tcf pass execution tuple
1425 test insert-hash-table-zero exec134 tcf pass execution table
1426 test store-expanded-retrieve-wrong exec135 tcf pass execution storable
1427 test store-expanded-retrieve-dies exec136 tcf pass execution storable
1428 test array-expanded-not-deep-equal exec137 tcf pass execution
1429 test expanded-no-default-create exec138 tcf fail execution
1430 test retr-expanded-not-deep-equal exec139 tcf pass execution
1431 test linked-queue-linear-rep exec140 tcf pass execution
1432 test inspect-high-bit-char exec141 tcf pass execution
1433 test invariant-changes-current exec142 tcf fail execution
1434 test is-special-any-type-lies exec143 tcf pass execution special
1435 test indep-store-big-array exec144 tcf pass execution storable
1436 test recursive-once-create-result exec145 tcf pass execution
1437 test frozen-floor-ceiling exec146 tcf pass execution
1438 test special-of-expanded exec147 tcf pass execution special finalization
1439 test generic-conformance-two-params exec148 tcf pass execution conformance
1440 test real-const-with-underscores exec149 tcf pass execution
1441 test interior-null-in-debug-key exec150 tcf fail execution
1442 test huge-memory-leak exec151 tcf fail execution
1443 test bit-64-operations exec152 tcf fail execution
1444 test nested-manifest-array-gen-type exec153 tcf pass execution
1445 test explicit-expanded-creation exec154 tcf pass execution
1446 test expanded-add-default-create exec155 tcf fail execution
1447 test inherit-create-like-current exec156 tcf pass execution
1448 test array-bit-two-to-sixteen exec157 tcf pass execution
1449 test inspect-big-integer-64 exec158 tcf pass execution
1450 test long-name-exception-trace exec159 tcf pass execution
1451 test bigger-generation-object-limit exec160 tcf pass execution
1452 test negative-incremental-gc-stats exec161 tcf pass execution
1453 test many-generic-parameters exec162 tcf fail execution
1454 test odd-gc-chunk-size exec163 tcf pass execution
1455 test gc-expanded-expanded-attrs exec164 tcf pass execution
1456 test negative-hex-constant exec165 tcf pass execution
1457 test expanded-arg-macro-with-cast exec166 tcf pass execution
1458 test external-precond-string-arg exec167 tcf pass execution
1459 test external-infix-feature exec168 tcf pass execution
1460 test multithreaded-memory-leak exec169 tcf pass execution multithreaded
1461 test external-precursor exec170 tcf pass execution
1462 test very-big-gc-chunk-size exec171 tcf fail execution skip
1463 test external-static-access exec172 tcf pass execution
1464 test static-access-generic-function exec173 tcf pass execution
1465 test inherit-create-like-attr exec174 tcf pass execution
1466 test generating-type-of-any exec175 tcf fail execution
1467 test assign-attempt-anchored-tuple exec176 tcf pass execution tuple
1468 test generic-agent-generating-type exec177 tcf fail execution
1469 test agent-like-current-target exec178 tcf pass execution
1470 test area-wrong-generating-type exec179 tcf pass execution
1471 test unavailable-exception-trace exec180 tcf pass execution
1472 test wrong-exp-attribute-type exec181 tcf pass execution
1473 test wrong-dynamic-type exec182 tcf pass execution
1474 test special-expanded-access exec183 tcf pass execution special
1475 test once-manifest-string exec184 tcf pass execution multithreaded
1476 test array-expanded-expanded exec185 tcf pass execution
1477 test once-optimization exec186 tcf pass execution
1478 test negative-hexadecimal exec187 tcf pass execution
1479 test integer-overflow-type exec188 tcf pass execution
1480 test global-once-feature exec189 tcf pass execution multithreaded
1481 test once-in-generic-class exec190 tcf pass execution multithreaded
1482 test once-with-exception exec191 tcf pass execution multithreaded
1483 test system-return-code exec192 tcf pass execution
1484 test catch-stack-overflow exec193 tcf pass execution
1485 test thread-assertion-monitoring exec194 tcf pass execution multithreaded assertion
1486 test last-exception-after-call exec195 tcf pass execution
1487 test inspect-on-character-interval exec196 tcf pass execution
1488 test basic-type-conversion exec197 tcf pass execution
1489 test bit-test-on-integer exec198 tcf pass execution
1490 test creation-of-formal-redefined-attribute exec199 tcf pass execution
1491 test anchor-argument-anchored-on-feature-or-formal exec200 tcf fail execution
1492 test tuple-real-double exec201 tcf pass execution tuple
1493 test developer-exception-with-null exec202 tcf fail execution
1494 test nested-expanded-copy exec203 tcf pass execution
1495 test old-expressions-evaluated-when-they-should-not exec204 tcf pass execution
1496 test manifest-array-waste-locals exec205 tcf pass execution
1497 test like-current-generic-parameter exec206 tcf pass execution
1498 test result-lost-in-manifest-arrays-tuples exec207 tcf pass execution tuple
1499 test expanded-type-intrinsic-feature exec208 tcf pass execution
1500 test once-manifest-string-in-once exec209 tcf pass execution
1501 test external-redeclared-to-attribute exec210 tcf pass execution
1502 test expanded-reattachment exec211 tcf pass execution
1503 test bad-invariant-code-in-expanded exec212 tcf pass execution
1504 test inherited-attribute-and-assigner exec213 tcf pass execution
1505 test attribute-and-assigner-coupling exec214 tcf pass execution
1506 test signed-unsigned-binary-operations exec215 tcf pass execution
1507 test empty-once-function exec216 tcf pass execution
1508 test inherited-expanded-generic exec217 tcf pass execution
1509 test any-expanded-agent exec218 tcf pass execution
1510 test to-character-32-truncated exec219 tcf pass execution
1511 test character-32-truncated exec220 tcf pass execution
1512 test melted-dispose-panic exec221 tcf pass execution
1513 test expanded-reverse-attachment exec222 tcf pass execution expanded attachment
1514 test extended-agent-test exec223 tcf pass execution
1515 test named-tuple-test exec224 tcf pass execution tuple
1516 test expanded-generic-use exec225 tcf pass execution expanded generic
1517 test generic-named-tuple exec226 tcf pass execution tuple
1518 test expanded-assignment-attempt exec227 tcf pass execution
1519 test routine-valid-operands exec228 tcf pass execution
1520 test double-clone exec229 tcf pass execution
1521 test infix-power-taking-double exec230 tcf pass execution
1522 test insert-expanded-in-list-of-any exec231 tcf pass execution
1523 test modification-of-basic-variable exec232 tcf pass execution
1524 test assertion-inline-agents-with-locals exec233 tcf pass execution assertion
1525 test inlined-array exec234 tcf pass execution
1526 test inline-agents-and-generics exec235 tcf pass execution
1527 test inline-agents-reordering exec236 tcf pass execution
1528 test inline-agent-manifest-expr exec237 tcf pass execution
1529 test name-renaming-with-inline-agent-assertion exec238 tcf pass execution assertion
1530 test correct-vpir-violation exec239 tcf pass execution
1531 test inline-agent-of-generic-type exec240 tcf pass execution
1532 test agent-in-inherited-assertion exec241 tcf pass execution assertion
1533 test deferred-inline-agent exec242 tcf pass execution
1534 test external-inline-agent exec243 tcf pass execution
1535 test invariant-encapsulated-inline-agents exec244 tcf pass execution
1536 test remove-fake-inline-agent-from-invariant exec245 tcf pass execution
1537 test remove-feature-with-inline-agent exec246 tcf pass execution
1538 test type-check-invariant-inline-agent exec247 tcf pass execution
1539 test nan-min-max exec248 tcf pass execution ieee
1540 test agent-in-nested-call-failure exec249 tcf pass execution
1541 test feature-only-referenced-by-dollar-op exec250 tcf pass execution
1542 test dollar-op-to-deferred-feature exec251 tcf pass execution
1543 test add-dollar-op-to-frozen-system exec252 tcf pass execution
1544 test creation-information-lost exec253 tcf pass execution
1545 test integer-constant-access exec254 tcf pass execution
1546 test cloning-disable-gc-tracking exec255 tcf pass execution
1547 test precursor-calling-itself exec256 tcf pass execution
1548 test numeric-type-comparison exec257 tcf pass execution
1549 test expanded-with-generics-in-generic-class exec258 tcf fail execution
1550 test expanded-with-generics-failure exec259 tcf fail execution
1551 test equality-on-expanded exec260 tcf pass execution
1552 test inspect-int-nat-big-endian exec261 tcf fail execution
1553 test anchor-on-feature-with-formal exec262 tcf fail execution
1554 test generating-type-of-type-parameter exec263 tcf pass execution
1555 test agent-on-attribute-with-open-target exec264 tcf pass execution
1556 test generator-on-typed-pointer exec265 tcf pass execution
1557 test feature-call-on-basic-generic exec266 tcf pass execution generic basic
1558 test expanded-formal-attached-to-reference exec267 tcf pass execution generic basic
1559 test tuple-with-basic-type exec268 tcf pass execution generic basic tuple
1560 test signed-unsigned-in-inspect exec269 tcf pass execution inspect
1561 test mixed-basic-type-operations exec270 tcf pass execution inspect
1562 test wrong-agent-creation-type exec271 tcf pass execution inspect
1563 test expanded-derivation-reattachment exec272 tcf pass execution expanded generic
1564 test expanded-creation-semantics exec273 tcf pass execution expanded creation attachment clone
1565 test agent-for-expanded-derivation exec274 tcf pass execution expanded generic agents
1566 test merging-feature-with-formal exec275 tcf pass execution expanded generic merging
1567 test entry-point-defined exec276 tcf pass execution expanded generic merging
1568 test derivation-reverse-attachment exec277 tcf pass execution expanded generic attachment
1569 test expanded-creation-correctness exec278 tcf fail execution expanded
1570 test special-base-address exec279 tcf fail execution expanded special
1571 test default-create-not-called exec280 tcf pass execution
1572 test not-equal-operator-failure exec281 tcf pass execution expanded
1573 test all-defaults-failure exec282 tcf fail execution expanded
1574 test clear-all-on-special exec283 tcf fail execution expanded special
1575 test wrong-expanded-generic-type exec284 tcf fail execution expanded
1576 test wrong-polymorphic-call-with-select exec285 tcf pass execution
1577 test wrong-formal-type-specification exec286 tcf pass execution
1578 test conversion-for-tuple-assignment-crash exec287 tcf pass execution
1579 test wrong-formal-type-local-initialization exec288 tcf pass execution
1580 test wrong-finalized-invariant-check exec289 tcf pass execution finalizing
1581 test wrong-optimization-of-as-attached exec290 tcf pass execution finalizing
1582 test crash-on-divisible exec291 tcf pass execution finalizing
1583 test wrong-inherited-formal-type exec292 tcf pass execution finalizing attached_types
1584 test access-by-label-on-void-tuple exec293 tcf fail execution
1585 test self-init-attribute-non-void-safe exec294 tcf fail execution
1586 test check-invariant-attached-by-default exec295 tcf fail execution
1587 test self-init-attribute-void-safe exec296 tcf fail execution
1588 test check-invariant-void-safe exec297 tcf fail execution
1589 test out-wrong-for-natural-attribute exec298 tcf fail execution
1590 test invariant-crash-with-attached-parent exec299 tcf pass execution
1591 test deep-twin-expanded-type exec300 tcf fail execution
1592 test attempt-on-type-none exec301 tcf fail execution
1593 test self-init-attribute-call-to-precursor exec302 tcf fail execution manual
1594 test out-on-nan-violates-invariant exec303 tcf fail execution ieee
1595 test operations-on-numeric-generic exec304 tcf fail execution
1596 test expanded-object-test-infinite-recursion exec305 tcf fail execution manual
1597 test expanded-generic-call-on-void-target exec306 tcf fail execution
1598 test bogus-catcall-on-basic-type-agent exec307 tcf fail execution catcall
1599 test conversion-from-basic-through-any exec308 tcf fail execution
1600 test expanded-object-test-creates-objects exec309 tcf fail execution
1601 test out-on-long-attribute-buffer-overflow exec310 tcf fail execution multithreaded
1602 test profile-with-invariant exec311 tcf fail execution profile
1603 test small-eif-memory-scavenge exec312 tcf pass execution
1604 test static-access-on-like-current exec313 tcf pass execution
1605 test manifest-type-expr-generating-type exec314 tcf pass execution
1606 test manifest-type-singletons exec315 tcf pass execution
1607 test wrong-type-creation exec316 tcf fail execution
1608 test long-string-to-double exec317 tcf pass execution
1609 test ref-exp-polymorphism exec318 tcf fail execution
1610 test loop-expression-smoke-test exec319 tcf pass loop expression
1611 test expanded-deep-physical-size exec320 tcf fail execution
1612 test check-instruction-smoke-test exec321 tcf pass execution check instruction exception
1613 test ieee-arithmetic exec322 tcf pass execution ieee
1614 test eiffel-ieee-comparison exec323 tcf pass execution ieee
1615 test do-nothing-optimization exec324 tcf pass execution
1616 test assertion-incorrect-type exec325 tcf pass execution assertion
1617 test ieee-min-max-values exec326 tcf pass execution ieee
1618 test assertion-reset-with-check exec327 tcf pass execution assertion
1619 test default-on-expanded-string exec328 tcf fail execution expanded manual
1620 test ieee-abs-minus-zero exec329 tcf pass execution ieee
1621 test catcall-in-expanded-class-invariant exec330 tcf fail execution catcall
1622 test once-string-seg-fault exec331 tcf fail execution
1623 test object-test-wrong-with-expanded-generic exec332 tcf fail execution
1624 test tracing-memory-corruption exec333 tcf pass execution
1625 test special-make-empty exec334 tcf pass execution special
1626 test standard-twin-on-formal exec335 tcf pass execution
1627 test gc-after-rescue-in-once exec336 tcf fail execution once
1628 test gc-after-rescue-in-attribute exec337 tcf fail execution
1629 test compare-generic-to-basic exec338 tcf fail execution
1630 test standard-twin-correctness exec339 tcf pass execution
1631 test plus-with-mixed-types exec340 tcf pass execution
1632 test static-assigner exec341 tcf pass execution
1633 test generating-type-on-typed-pointer exec342 tcf pass execution expanded generic
1634 test deep-twin-control-c exec343 tcf pass execution manual
1635
1636 -- Once specific
1637
1638 test once-per-object-exec once001 tcf pass once
1639 test once-per-object-exec-with-exception once002 tcf pass once exception
1640 test once-per-object-redefinition once003 tcf pass once redefine
1641 test once-per-object-removal once004 tcf pass once redefine
1642 test once-key-validity once005 tcf pass once validity
1643 test once-per-object-called-via-precursor once006 tcf pass once
1644 test once-per-object-with-inheritance once007 tcf pass once
1645 test once-per-object-finalized-crash once008 tcf pass once
1646 test once-per-object-effect-deferred once009 tcf pass once
1647 test once-per-object-empty-body once010 tcf pass once
1648 test once-per-object-anchored-or-generic once011 tcf pass once
1649 test once-per-object-returning-expanded once012 tcf fail once
1650 test once-per-object-precursor-descendant once013 tcf fail once
1651 test once-per-object-inherited-chained once014 tcf fail once
1652 test once-per-object-callee-exception once015 tcf fail once
1653 test once-per-object-recursive-call once016 tcf fail once
1654 test once-per-object-rescue-gc once017 tcf fail once
1655 test once-per-object-nonconforming-inheritance once018 tcf fail once
1656 test once-per-object-redefined-precursor once019 tcf fail once
1657 test once-per-object-nonconforming-2 once020 tcf fail once non-conforming
1658 test once-per-object-generic-precursor once021 tcf fail once
1659
1660 -- Compiler termination (exception trace, panic, etc.)
1661
1662 test add-inheritance-cycle term001 tcf pass termination
1663 test remove-root-creation-proc term002 tcf pass termination
1664 test long-identifiers term003 tcf pass termination
1665 test anchored-creation-type term004 tcf pass termination
1666 test like-current-generic-constraint term005 tcf pass termination
1667 test function-with-many-args term006 tcf pass termination
1668 test unusual-none-use term007 tcf pass termination
1669 test void-as-variant term008 tcf pass termination
1670 test none-as-actual-generic term009 tcf pass termination
1671 test invalid-generic-constraint term010 tcf pass termination
1672 test manifest-array-call-target term011 tcf pass termination
1673 test long-bit-constant term012 tcf pass termination
1674 test bit-constraint-with-attr term013 tcf pass termination
1675 test deeply-nested-when term014 tcf pass termination
1676 test manifest-array-call-target2 term015 tcf pass termination
1677 test empty-external-feat-alias term016 tcf pass termination
1678 test array-of-big-bit term017 tcf pass termination
1679 test none-as-actual-generic2 term018 tcf pass termination
1680 test expanded-client-cycle term020 tcf pass termination
1681 test valid-weasel-bits term022 tcf pass termination
1682 test function-returning-none term023 tcf pass termination
1683 test bit-creation-type term024 tcf pass termination
1684 test expanded-local-panic term025 tcf pass termination
1685 test bad-generic-deriv-creation-type2 term026 tcf pass termination
1686 test many-same-generics term027 tcf pass termination
1687 test precompiled-missing-cluster term028 tcf pass termination
1688 test generic-constrained-by-its-class term029 tcf pass termination
1689 test expanded-client-3-cycle term030 tcf pass termination
1690 test generic-constr-by-generic-deriv term031 tcf pass termination
1691 test current-dot-void term032 tcf pass termination
1692 test real-decl-integer-constant term033 tcf pass termination
1693 test vlec-cycle-with-generics term034 tcf fail termination manual
1694 test create-negative-double-const term035 tcf pass termination
1695 test minimal-set-of-classes term036 tcf pass termination
1696 test def-int-func-redefine-none term037 tcf pass termination
1697 test root-none-creation-proc term039 tcf fail termination
1698 test expanded-generic-constr-by-self term041 tcf pass termination
1699 test redef-anchored-to-self-version term042 tcf pass termination
1700 test generic-constraint-cycle term043 tcf pass termination
1701 test explicit-create-def-gen-parent term044 tcf pass termination
1702 test strip-attribute-of-type-none term045 tcf pass termination
1703 test generic-constraint-bit-type term046 tcf pass termination
1704 test two-creation-clauses-one-empty term047 tcf pass termination
1705 test long-anchored-decl-chain term048 tcf pass termination
1706 test anchored-generic-multi-dot-call term049 tcf pass termination
1707 test formal-generic-in-constraint term050 tcf pass termination
1708 test generic-constraint-with-expand term051 tcf pass termination
1709 test vtcg-expanded-generic term052 tcf pass termination
1710 test expanded-manifest-array-item term053 tcf pass termination
1711 test nested-manifest-array-feat-call term054 tcf pass termination
1712 test long-comment term055 tcf pass termination
1713 test long-white-space term056 tcf pass termination
1714 test no-precomp-big-manifest-array term057 tcf pass termination
1715 test heavy-anded-bool-panic term058 tcf pass termination
1716 test feature-address-in-invariant term060 tcf pass termination
1717 test many-long-bit-constants term061 tcf pass termination
1718 test manifest-array-at-sign term062 tcf pass termination
1719 test non-windows-dll-external term063 tcf pass termination
1720 test external-omit-signature-args term064 tcf pass termination
1721 test finalize-big-inline-size term065 tcf pass termination inlining
1722 test finalize-inline-remove-dead term067 tcf pass termination inlining
1723 test too-many-signature-arguments term069 tcf pass termination
1724 test very-long-token term070 tcf pass termination
1725 test finalize-prefix-attribute term071 tcf pass termination
1726 test finalize-deferred-feature-call term072 tcf pass termination
1727 test finalize-array-opt-remove-dead term073 tcf pass termination
1728 test finalize-inline-strip-expr term074 tcf pass termination inlining
1729 test assign-creation-expression term075 tcf pass termination
1730 test explicit-bit-creation term076 tcf pass termination
1731 test finalize-inline-array-expanded term077 tcf pass termination inlining
1732 test finalize-inline-small-classes term078 tcf pass termination inlining
1733 test simple-explicit-generic-create term079 tcf pass termination
1734 test generic-constrained-by-tuple term080 tcf pass termination tuple
1735 test invariant-creation-expr term081 tcf pass termination
1736 test generic-nonexistent-creator term082 tcf pass termination
1737 test generic-nonexistent-infix term083 tcf pass termination
1738 test finalize-creation-expression term084 tcf pass termination
1739 test finalize-inline-delayed-call term085 tcf pass termination inlining
1740 test invariant-delayed-closed-target term086 tcf pass termination
1741 test generic-creation-no-constraint term087 tcf pass termination
1742 test none-delayed-call term088 tcf pass termination
1743 test undef-external-call-precursor term089 tcf pass termination
1744 test generic-delayed-call-result term090 tcf fail termination
1745 test creation-constrained-by-generic term091 tcf fail termination
1746 test generic-constrained-by-none term092 tcf pass termination
1747 test generic-constrained-by-self term093 tcf fail termination
1748 test inherit-generic-and-any term094 tcf pass termination
1749 test generic-constrained-by-integer term095 tcf pass termination
1750 test finalize-inline-infix-external term096 tcf pass termination inlining
1751 test long-system-name term098 tcf fail termination
1752 test external-c-plus-plus term100 tcf pass termination
1753 test slash-in-cluster-tag term101 tcf fail termination
1754 test finalize-missing-server-file term102 tcf pass termination
1755 test precomp-lib-wrong-version term103 tcf pass termination manual
1756 test generic-anchor-call-precursor term104 tcf pass termination
1757 test temporary-bug-1 term105 tcf pass termination
1758 test print-array-anchored-generic term106 tcf pass termination
1759 test add-remove-vcch-freeze term107 tcf fail termination
1760 test generic-static-constant term108 tcf pass termination
1761 test static-call-on-none term109 tcf pass termination
1762 test assign-attempt-manifest-array term110 tcf pass termination
1763 test finalize-nested-if term111 tcf pass termination
1764 test inherit-from-chain term112 tcf pass termination
1765 test msil-generation-yes term113 tcf pass termination
1766 test remove-formal-generic term114 tcf pass termination
1767 test change-generic-create term115 tcf fail termination
1768 test change-sysname-and-root term116 tcf pass termination
1769 test inline-numeric-plus-numeric term117 tcf pass termination inlining
1770 test finalize-many-expanded-attrs term118 tcf pass termination
1771 test remove-constraint-veen-die term119 tcf fail termination
1772 test inspect-big-range term120 tcf fail termination skip
1773 test expanded-like-current-vlec term121 tcf pass termination
1774 test creation-expr-anchor-none term122 tcf pass termination
1775 test assign-address-expr term123 tcf pass termination
1776 test agent-open-operand-none term124 tcf pass termination
1777 test finalize-if-false term125 tcf pass termination
1778 test unreachable-visible-generic term126 tcf pass termination
1779 test manifest-array-to-array-conformance term127 tcf fail termination conformance
1780 test infinite-loop-expanded-generics term128 tcf fail termination manual
1781 test create-generic-result-any term129 tcf pass termination
1782 test inline-routine-with-formal-conversion term130 tcf pass termination inlining
1783 test finalize-manifest-array-with-anchor term131 tcf pass termination
1784 test anchored-generic-like-type term132 tcf pass termination
1785 test dynamic-generic-type term133 tcf pass termination
1786 test address-of-expanded-attribute term134 tcf pass termination
1787 test unary-on-formal term135 tcf pass termination
1788 test multiple-replicated-once term136 tcf pass termination
1789 test unknown-manifest-constant-type term137 tcf pass termination
1790 test invalid-constant-in-iterval-list term138 tcf pass termination
1791 test special-conformance term139 tcf pass termination conformance special
1792 test generic-renamed-in-expanded term140 tcf pass termination expanded generic rename
1793 test agent-on-feature-with-like-argument term141 tcf pass termination
1794 test separate-panic term142 tcf pass termination
1795 test creation-expression-in-inherited-assertion term143 tcf pass termination
1796 test inspect-using-static-procedure term144 tcf pass termination
1797 test constraint-type-comparison term145 tcf pass termination generic
1798 test missing-actual-generic-crash term146 tcf pass termination generic
1799 test actual-generic-none-crash term147 tcf pass termination generic
1800 test complex-generics-crash term148 tcf fail termination generic
1801 test agent-with-anchor-crash term149 tcf fail termination generic
1802 test expanded-generic-crash term150 tcf fail termination generic
1803 test integer-like-constant term151 tcf fail termination
1804 test qualified-call-on-procedure-failure term152 tcf fail termination
1805 test crash-for-redefined-feature-with-wrong-anchor term153 tcf fail termination
1806 test agent-return-type-crash term154 tcf pass termination
1807 test nested-like-code-generation-crash term155 tcf pass termination
1808 test assertion-regeneration-crash term156 tcf pass termination
1809 test vkcn-error-reporting-failure term157 tcf pass termination
1810 test invalid-case-crash term158 tcf pass termination
1811 test conversion-in-closed-argument-crash term159 tcf pass termination
1812 test formal-generic-creation-crash term160 tcf pass termination
1813 test array-with-anchor-crash term161 tcf pass termination dotnet
1814 test crash-when-calling-out-on-a-formal term162 tcf pass termination dotnet
1815 test bad_formal_types term163 tcf pass validity
1816 test crash-in-conversion-clause term164 tcf pass validity
1817 test crash-in-checking-inherited-code term165 tcf pass validity
1818 test catcall-and-full-class-checking term166 tcf fail termination
1819 test single-constraint-with-renaming-crash term167 tcf fail termination
1820 test inline-agent-with-attribute-body term168 tcf fail termination
1821 test self-init-attribute-returning-current term169 tcf pass termination self_init void_safe
1822 test self-init-attribute-crash term170 tcf pass termination
1823 test keyword-in-multi-constraint-generic-crash term171 tcf fail termination
1824 test catcall-crash-is-covariant-to term172 tcf fail termination catcall
1825 test conversion-query-constant-attribute term173 tcf fail termination convert
1826 test create-generic-constrained-by-none term174 tcf fail termination
1827 test create-constrained-generic-crash term175 tcf fail termination
1828 test remove-syntax-error-crash term176 tcf pass termination
1829 test argument-anchors-formal-crash term177 tcf pass termination
1830 test small-eif-stack-chunk term178 tcf pass termination
1831 test inherit-inline-agent-with-formal term179 tcf pass termination
1832 test infix-prefix-alias-compatibility-crash term180 tcf pass termination
1833 test create-constrained-generic-crash-2 term181 tcf fail termination
1834 test expanded-indirect-like-current term182 tcf fail termination expanded anchored_type
1835 test expanded-indirect-like-current-2 term183 tcf fail termination expanded anchored_type
1836 test create-generic-with-rename term184 tcf fail termination generic
1837 test generic-derivation-constraint term185 tcf pass termination formal generic constraint
1838 test across-keyword-as-feature-name term186 tcf fail termination
1839 test chained-generic-constraints term187 tcf fail termination formal generic constraint
1840 test static-access-on-generic-in-inspect term188 tcf fail termination formal generic
1841 test vmfn-reporting-crash term189 tcf fail termination validity
1842 test conform-to-type-precondition-violation term190 tcf fail termination validity
1843 test generated-id-assertion-violation term191 tcf fail termination multiconstraint expanded
1844 test skeleton-adapted-in-crash term192 tcf fail termination
1845 test is-valid-for-class-precondition term193 tcf fail termination
1846 test is-less-equal-postcondition-violation-2 term194 tcf fail termination
1847 test testing-class-removal-crash term195 tcf pass termination
1848 test across-with-constrained-generic-crash term196 tcf fail termination
1849 test shared-library-with-generic-root term197 tcf fail termination
1850 test iteration-over-inline-agent term198 tcf fail termination
1851 test expanded-constrained-generic-root-crash term199 tcf fail termination expanded generic
1852 test check-instruction-invalid-code term200 tcf pass termination check instruction validity
1853 test inherit-generic-with-self-as-formal term201 tcf pass termination
1854 test inherit-formal-as-second-formal term202 tcf pass termination dotnet
1855 test inherit-generic-of-expanded term203 tcf pass termination dotnet
1856 test ise-ec-flags-missing-final-quote term204 tcf fail termination
1857
1858 -- Config
1859
1860 test config-override config001 tcf pass config
1861 test config-debug-disabled config002 tcf pass config
1862 test config-quick-melt-override config003 tcf pass config
1863 test config-target-extends-itself config004 tcf pass config
1864 test config-remove-library config005 tcf pass config
1865 test config-debugs config006 tcf pass config
1866 test config-rename-change config007 tcf pass config
1867 test config-missing-name-attribute config008 tcf pass config
1868 test config-override-crash config009 tcf pass config
1869 test config-system-name-with-space config010 tcf pass config
1870 test config-class-file-name-mismatch config011 tcf pass config
1871 test config-root-class-file-name-mismatch config012 tcf pass config
1872 test config-class-file-name-mismatch-2 config013 tcf pass config
1873 test config-class-file-name-update config014 tcf pass config
1874 test config-library-options-redefinition config015 tcf pass config
1875 test config-library-options-setting config016 tcf pass config
1876 test config-nonstandard-source-extension config017 tcf pass config
1877 test config-keyword-root-class config018 tcf fail config
1878 test config-invalid-root-type config019 tcf fail config
1879 test config-invalid-actual-generic config020 tcf fail config
1880 test config-undetected-vlec config021 tcf fail config
1881 test config-invalid-vsrt2 config022 tcf fail config
1882 test config-generic-root-type-extra-chars config023 tcf fail config
1883 test config-generic-root-with-expanded config024 tcf fail config generic expanded
1884 test config-unclosed-element config025 tcf fail config
1885 test config-undetected-vtcg config026 tcf fail config
1886
1887 -- Lace
1888
1889 test lace-no-cluster-props lace003 tcf pass lace
1890 test lace-no-creation-proc lace007 tcf pass lace
1891 test lace-empty-include-exclude lace011 tcf pass lace
1892 test chg-cluster-name lace014 tcf pass lace
1893 test remove-unneeded-cluster lace015 tcf pass lace
1894 test root-cluster-case-sensitive lace016 tcf pass lace
1895 test class-named-none lace021 tcf fail lace
1896 test visible-export-nonexistent-feat lace022 tcf fail lace
1897 test lace-debug-key-subset lace024 tcf pass lace
1898 test visible-cluster-case-sensitive lace025 tcf pass lace
1899 test visible-under-same-name lace029 tcf fail lace
1900 test inlining-size-non-integer lace030 tcf pass lace inlining
1901 test lace-system-special-chars lace031 tcf fail lace special
1902
1903 -- C code compilation/linking
1904
1905 test void-gets-void ccomp001 tcf pass c_compilation
1906 test weird-operator-feat-name ccomp002 tcf fail c_compilation
1907 test weird-operator-feat-name2 ccomp003 tcf fail c_compilation
1908 test implies-wont-c-compile ccomp004 tcf pass c_compilation
1909 test divide-by-zero ccomp005 tcf pass c_compilation
1910 test visible-finalize-wont-link ccomp006 tcf pass c_compilation
1911 test finalize-assertion-all ccomp007 tcf pass c_compilation
1912 test finalize-void-parse-error ccomp008 tcf pass c_compilation
1913 test invariant-zero-equals-zero ccomp009 tcf pass c_compilation
1914 test frozen-bit-operations ccomp010 tcf pass c_compilation
1915 test finalize-inh-root-creation-proc ccomp011 tcf pass c_compilation
1916 test finalize-ext-root-creation-proc ccomp012 tcf pass c_compilation
1917 test strip-empty-list-freeze-cc ccomp013 tcf pass c_compilation
1918 test expanded-dead-code-removal ccomp014 tcf pass c_compilation
1919 test finalize-inh-exp-creation-proc ccomp015 tcf pass c_compilation
1920 test assign-attempt-basic-local-addr ccomp016 tcf pass c_compilation
1921 test assign-attempt-basic-type ccomp017 tcf pass c_compilation
1922 test finalize-expanded-to-reference ccomp018 tcf pass c_compilation
1923 test finalize-expanded-return-type ccomp019 tcf pass c_compilation
1924 test finalize-expanded-ext-creation ccomp020 tcf pass c_compilation
1925 test inherit-integer-call-remainder ccomp021 tcf pass c_compilation
1926 test expanded-generic-dead-code ccomp022 tcf pass c_compilation
1927 test external-func-with-signature ccomp023 tcf pass c_compilation
1928 test external-tab-between-includes ccomp024 tcf pass c_compilation
1929 test finalize-bit-return-type ccomp025 tcf pass c_compilation
1930 test finalize-call-undef-external ccomp026 tcf pass c_compilation
1931 test expanded-arg-with-cast ccomp027 tcf pass c_compilation
1932 test finalize-array-opt-pointers ccomp028 tcf pass c_compilation
1933 test finalize-wont-trace-visible ccomp029 tcf pass c_compilation
1934 test finalize-create-deferred-type ccomp030 tcf pass c_compilation
1935 test finalize-bit-attribute ccomp031 tcf pass c_compilation
1936 test freeze-generic-creation-expr ccomp032 tcf pass c_compilation
1937 test finalize-precomp-assertion-all ccomp033 tcf pass c_compilation
1938 test finalize-deferred-delayed-call ccomp034 tcf pass c_compilation
1939 test address-of-generic-attribute ccomp035 tcf pass c_compilation
1940 test address-of-default-rescue ccomp036 tcf pass c_compilation
1941 test inline-prefix-call ccomp037 tcf fail c_compilation inlining
1942 test finalize-prefix-constant ccomp038 tcf pass c_compilation
1943 test frozen-real-constant ccomp039 tcf pass c_compilation
1944 test c-header-mismatch ccomp040 tcf pass c_compilation
1945 test generic-create-double ccomp041 tcf pass c_compilation
1946 test minus-minus-real ccomp042 tcf pass c_compilation
1947 test c-header-mismatch-2 ccomp043 tcf pass c_compilation
1948 test finalize-precomp-no-dead ccomp044 tcf pass c_compilation
1949 test finalize-ext-exp-inline-create ccomp045 tcf pass c_compilation inlining
1950 test inline-c-ten-pass-local ccomp046 tcf pass c_compilation inlining
1951 test inline-c-arg-prefix-other ccomp047 tcf pass c_compilation inlining
1952 test pass-void-to-double ccomp048 tcf pass c_compilation
1953 test slash-power-on-formal-bad-code ccomp049 tcf pass c_compilation
1954 test print-pointer-local-address ccomp050 tcf pass c_compilation
1955 test inline-expanded-conversion ccomp051 tcf pass c_compilation inlining
1956 test create-generic-conform-double ccomp052 tcf pass c_compilation
1957 test long-string-generation ccomp053 tcf pass c_compilation
1958 test inline-incorrect-with-cpp ccomp054 tcf pass c_compilation inlining
1959 test polymorphic-dollar-agent-incorrect-wrapper ccomp055 tcf pass c_compilation
1960 test bad-macro-wrapping ccomp056 tcf pass c_compilation
1961 test bad-boolean-inline ccomp057 tcf pass c_compilation inlining
1962 test agent-on-constant-attribute ccomp058 tcf pass c_compilation
1963 test add-generic-c-compile-failure ccomp059 tcf fail c_compilation
1964 test last-reverse-assignment-to-expanded ccomp060 tcf pass c_compilation expanded
1965 test adding-removing-classes-c-compile-error ccomp061 tcf pass c_compilation expanded
1966 test once-manifest-string-in-cpp-file ccomp062 tcf pass c_compilation
1967 test feature-call-via-cecil ccomp063 tcf pass c_compilation
1968 test deferred-to-string-constant ccomp064 tcf pass finalizing multithreaded
1969 test built-in-unary-plus ccomp065 tcf fail c_compilation
1970 test expanded-generic-conformance-c-bad-finalization ccomp066 tcf fail c_compilation conformance
1971 if WINDOWS test dll-generation-failure ccomp067 tcf fail c_compilation
1972 test once-global-procedure-c-failure ccomp068 tcf fail c_compilation multithreaded
1973 test line-generation-finalize-bug ccomp069 tcf pass c_compilation
1974 test code-formatting ccomp070 tcf pass c_compilation
1975 test assign-attempt-on-basic-type ccomp071 tcf pass c_compilation
1976 test polymorphic-feature-address-bad-code ccomp072 tcf pass c_compilation
1977 test agent-with-like-bad-declaration ccomp073 tcf pass c_compilation
1978 test expanded-generic-wrong-c-with-multiple-ancestor ccomp074 tcf fail c_compilation
1979 test missing-undef-c-compiler-error ccomp075 tcf pass c_compilation
1980 test missing-protection-in-inline-c-code ccomp076 tcf pass c_compilation
1981 test bad-c-code-from-argument-anchor ccomp077 tcf fail c_compilation
1982 test bad-c-code-on-debug-clause ccomp078 tcf pass c_compilation
1983 test missing-makefile-for-precompile ccomp079 tcf fail c_compilation
1984 test bad-c-code-from-argument-anchor-2 ccomp080 tcf fail c_compilation
1985 test bad-c-code-for-expanded-definition ccomp081 tcf pass c_compilation expanded
1986 test expanded-generic-object-test ccomp082 tcf fail c_compilation expanded
1987 test c-header-mismatch-3 ccomp083 tcf fail c_compilation
1988 test large-real-constant-c-compile-failure ccomp084 tcf fail c_compilation
1989 test c-header-sequence ccomp085 tcf fail c_compilation
1990 test finalize-without-then-with-assertions ccomp086 tcf fail c_compilation
1991
1992 -- Storable tests
1993
1994 test freeze-retrieval-mismatch store001 tcf pass storable
1995 test retrieve-corrupted-file store002 tcf pass storable
1996 test melt-retrieval-mismatch store003 tcf pass storable
1997 test melted-retrieve-list-expanded store004 tcf pass storable
1998 test store-tuple-integer store005 tcf pass storable tuple
1999 test store-generic-reference-class-used-as-expanded store006 tcf pass storable
2000 test various-storable-format-testing store007 tcf pass storable
2001 test missing-type-retrieval store008 tcf pass storable
2002 test store-expanded-as-reference store009 tcf pass storable expanded
2003 test store-expanded-class-type store010 tcf pass storable expanded
2004 test tuple-57-unretrievable store011 tcf pass storable tuple
2005 test retrieve-corrupted-file-thread-freezes store012 tcf pass storable multithreaded
2006 test storable-formats store013 tcf pass storable
2007 test storable-formats-2 store014 tcf pass storable
2008 test retrieve-mismatch-serialization-failure store015 tcf pass storable exception
2009 test storable-formats-3 store016 tcf pass storable
2010 test storable-with-attached-type store017 tcf pass storable attached_types
2011 test storable-with-attached-type-by-62 store018 tcf pass storable attached_types
2012 test storable-with-attached-type-1 store019 tcf pass storable attached_types
2013 test storable-with-attached-type-by-63 store020 tcf pass storable attached_types
2014 test storable-removing-attachment-marks store021 tcf pass storable attached_types
2015 test store-expanded-class-type-2 store022 tcf pass storable expanded
2016 test store-transient-attributes store023 tcf pass storable transient
2017 test stream-independent-store store024 tcf pass storable stream special
2018 test attached-independent-store store025 tcf pass storable void-safe
2019 test storable-formats-63 store026 tcf pass storable
2020 test storable-with-special-type store027 tcf pass storable
2021 test storable-with-tuple-type store028 tcf pass storable
2022 test storable-formats-63-2 store029 tcf pass storable
2023 test store-retrieve-transient-attributes store030 tcf pass storable transient
2024 test store-retrieve-with-version store031 tcf pass storable
2025 test store-in-different-thread store032 tcf pass storable multithreaded
2026 test store-bounded-queues-stacks store033 tcf pass storable
2027 test old-hashtable-retrieval store034 tcf pass storable table
2028
2029 -- Flat, short, flatshort tests
2030
2031 test rename-inherited-wrong-flat flat001 tcf pass flat manual
2032 test flat-after-change flat002 tcf pass flat manual
2033 test flat-feature-two-defs flat003 tcf pass flat manual
2034 test eff-class-flat-deferred-feature flat004 tcf pass flat manual
2035 test flat-multi-export-lists flat005 tcf fail flat manual
2036 test rename-inherited-bad-flat flat006 tcf pass flat manual
2037
2038 -- Library class tests
2039
2040 test unix-file-start-precond-error lib001 tcf pass library file
2041 test string-copy-valid-count lib002 tcf pass library file
2042 test file-copy-to lib003 tcf pass library file
2043 test putenv-with-null lib004 tcf pass library file
2044 test append-empty-arrayed_list lib005 tcf pass library file
2045 test string-incorrect-hash-code lib006 tcf pass library file
2046 test ptf-file-go lib007 tcf pass library file
2047 test ptf-file-move lib008 tcf pass library file
2048 test ptf-file-nextline lib009 tcf pass library file
2049 test ptf-file-file-append lib010 tcf pass library file
2050 test ptf-file-position lib011 tcf pass library file
2051 test ptf-file-read-character lib012 tcf pass library file
2052 test ptf-file-read-stream lib013 tcf pass library file
2053 test ptf-file-recede lib014 tcf pass library file
2054 test ptf-file-start lib015 tcf pass library file
2055 test ptf-file-read-line lib016 tcf pass library file
2056 test ptf-file-back lib017 tcf pass library file
2057 test ptf-file-close lib018 tcf pass library file
2058 test ptf-file-count lib019 tcf pass library file
2059 test ptf-file-create lib020 tcf pass library file
2060 test ptf-file-extend lib021 tcf pass library file
2061 test ptf-file-finish lib022 tcf pass library file
2062 test ptf-file-forth lib023 tcf pass library file
2063 test file-change-name lib024 tcf pass library file
2064 test file-read-xxx-routines lib025 tcf pass library file
2065 test ptf-file-forth-2 lib026 tcf pass library file
2066 test ptf-read-number-routines lib027 tcf pass library file
2067 test es-encoding-conversion lib028 tcf pass library encoding
2068 test ptf-read-number-routines-2 lib029 tcf pass library file
2069 test file-type-queries-wrong lib030 tcf pass library file
2070 test file-append-not-thread-safe lib031 tcf pass library file multithreaded
2071 test boolean-class-invariant lib032 tcf pass library basic invariant
2072 test file-read-write-access lib033 tcf fail library file
2073 test file-flush lib034 tcf pass library file
2074 test file-position-bad-file-pointer lib035 tcf fail library file
2075 test format-double-crash lib036 tcf fail library ieee
2076 test ptf-file-read-to-string lib037 tcf pass library file
2077 test managed-pointer-invariant lib038 tcf pass library invariant
2078
2079
2080 -- TUPLE tests
2081 test tuple-manipulation tuple001 tcf pass tuple
2082 test named-tuple-validation tuple002 tcf pass tuple
2083 test named-tuple-as-argument tuple003 tcf pass tuple
2084 test tuple-hashcode tuple004 tcf pass tuple
2085 test tuple-comparison tuple005 tcf pass tuple
2086 test tuple-twining tuple006 tcf pass tuple
2087 test named-tuple-assignment tuple007 tcf pass tuple
2088 test named-tuple-same-labels tuple008 tcf pass tuple
2089 test named-tuple-same-labels-crash tuple009 tcf pass tuple
2090 test internal-tuple-creation tuple010 tcf pass tuple
2091 test tuple-creation-crash tuple011 tcf pass tuple
2092 test wrong-label-in-inheritance tuple012 tcf pass tuple
2093 test wrong-label-in-generics tuple013 tcf pass tuple
2094 test wrong-manifest-tuple-type tuple014 tcf fail tuple
2095 test attached-tuple-element-validity tuple015 tcf pass tuple
2096 test tuple-basic-to-reference tuple016 tcf pass tuple basic_types
2097
2098 -- ~ operator test
2099 test tilde-on-basic-type tilde001 tcf pass tilde
2100 test tilde-on-expanded-type tilde002 tcf pass tilde
2101 test tilde-on-formal-type tilde003 tcf pass tilde
2102
2103
2104 -- Systematic validity tests
2105
2106 test validity-vsrt1-one-generic vsrt101 tcf pass validity vsrt
2107 test validity-vsrt1-two-generics vsrt102 tcf pass validity vsrt
2108 test validity-vsrt1-many-generics vsrt103 tcf pass validity vsrt
2109 test validity-vsrt1-add-generics vsrt104 tcf pass validity vsrt
2110 test validity-vsrt1-new-root vsrt105 tcf pass validity vsrt
2111 test validity-vsrt1-zero-generics vsrt106 tcf pass validity vsrt
2112
2113 test validity-vsrt2-vsrp2-ok vsrt201 tcf pass validity vsrt vsrp
2114
2115 test validity-vsrt3-deferred-root vsrt301 tcf pass validity vsrt
2116 test validity-vsrt3-chg-deferred vsrt302 tcf pass validity vsrt
2117
2118 test validity-vsrp2-no-arguments vsrp201 tcf pass validity vsrp
2119 test validity-vsrp2-one-good-arg vsrp202 tcf pass validity vsrp
2120 test validity-vsrp2-one-conform-arg vsrp203 tcf pass validity vsrp
2121 test validity-vsrp2-one-bad-arg vsrp204 tcf pass validity vsrp
2122 test validity-vsrp2-many-arguments vsrp205 tcf pass validity vsrp
2123 test validity-vsrp2-bad-then-good vsrp206 tcf pass validity vsrp
2124 test validity-vsrp2-two-procedures vsrp207 tcf pass validity vsrp
2125 test validity-vsrp2-multi-procedures vsrp208 tcf pass validity vsrp
2126
2127 test validity-vsrp3-precondition vsrp301 tcf pass validity vsrp
2128
2129
2130 test validity-vscn-same-cluster vscn001 tcf pass validity vscn
2131 test validity-vscn-diff-cluster vscn002 tcf fail validity vscn
2132 test validity-vscn-add-class vscn003 tcf pass validity vscn
2133
2134 test validity-vcch-add-del vcch001 tcf pass validity vcch
2135
2136 test validity-vdjr2-basic vdjr201 tcf pass validity vdjr
2137
2138 test validity-vcch1-no-def-header vcch101 tcf pass validity vcch
2139 test validity-vcch1-add-def-feat vcch102 tcf pass validity vcch
2140 test validity-vcch1-del-def-header vcch103 tcf pass validity vcch
2141 test validity-vcch1-inherit-def vcch104 tcf pass validity vcch
2142 test validity-vcch1-undef-effective vcch105 tcf pass validity vcch
2143
2144 test validity-vcch2-def-header1 vcch201 tcf pass validity vcch
2145 test validity-vcch2-def-header2 vcch202 tcf pass validity vcch
2146 test validity-vcch2-add-def-header1 vcch203 tcf pass validity vcch
2147 test validity-vcch2-add-def-header2 vcch204 tcf pass validity vcch
2148 test validity-vcch2-del-def-feat vcch205 tcf pass validity vcch
2149 test validity-vcch2-chg-def-feat vcch206 tcf pass validity vcch
2150 test validity-vcch2-inh-effective vcch207 tcf pass validity vcch
2151
2152 test validity-vcfg1-basic vcfg101 tcf pass validity vcfg
2153 test validity-vcfg1-add-class vcfg102 tcf pass validity vcfg
2154 test validity-vcfg1-chg-generic vcfg103 tcf pass validity vcfg
2155
2156 test validity-vcfg2-basic vcfg201 tcf pass validity vcfg
2157 test validity-vcfg2-root vcfg202 tcf pass validity vcfg
2158
2159 test validity-vcrn-basic vcrn001 tcf fail validity vcrn
2160
2161 test validity-vfav1-basic vfav101 tcf pass validity vfav
2162 test validity-vfav2-basic vfav201 tcf pass validity vfav
2163 test validity-vfav3-basic vfav301 tcf pass validity vfav
2164 test validity-vfav4-basic vfav401 tcf pass validity vfav
2165
2166 test validity-vffd1-attribute vffd101 tcf pass validity vffd attribute
2167 test validity-vffd2-basic vffd201 tcf pass validity vffd
2168 test validity-vffd2-diff-decls vffd202 tcf pass validity vffd
2169 test validity-vffd3-basic vffd301 tcf pass validity vffd
2170 test validity-vffd4-basic vffd401 tcf pass validity vffd
2171 test validity-vffd5-basic vffd501 tcf pass validity vffd
2172 test validity-vffd6-basic vffd601 tcf pass validity vffd
2173 test validity-vffd7-once-generic vffd701 tcf pass validity vffd
2174 test validity-vffd7-once-anchored vffd702 tcf pass validity vffd
2175
2176 test validity-vffd8-once-scoop vffd801 tcf pass validity vffd vffd8 once scoop
2177 test validity-vffd8-once-proc-scoop vffd802 tcf fail validity vffd vffd8 once scoop
2178
2179 test validity-vhpr1-self vhpr101 tcf pass validity vhpr
2180 test validity-vhpr1-other vhpr102 tcf pass validity vhpr
2181 test validity-vhpr1-long-cycle vhpr103 tcf pass validity vhpr
2182
2183 test validity-vhrc-switch-names vhrc001 tcf pass validity vhrc
2184 test validity-vhrc-shift-names vhrc002 tcf pass validity vhrc
2185 test validity-vhrc1-basic vhrc101 tcf pass validity vhrc
2186 test validity-vhrc2-basic vhrc201 tcf pass validity vhrc
2187 test validity-vhrc3-basic vhrc301 tcf pass validity vhrc
2188 test validity-vhrc4-basic vhrc401 tcf pass validity vhrc
2189 test validity-vhrc5-basic vhrc501 tcf pass validity vhrc
2190
2191 test validity-vlec1-self vlec101 tcf pass validity vlec
2192 test validity-vlec1-other vlec102 tcf pass validity vlec
2193 test validity-vlec1-self-generic vlec103 tcf pass validity vlec
2194 test validity-vlec1-other-generic vlec104 tcf pass validity vlec manual
2195
2196 test validity-vlcp-basic vlcp001 tcf pass validity vlcp
2197
2198 test validity-vlel1-mult-diff vlel101 tcf pass validity vlel
2199 test validity-vlel1-mult-same vlel102 tcf pass validity vlel
2200
2201 test validity-vlel2-basic vlel201 tcf pass validity vlel
2202 test validity-vlel3-mult-same vlel301 tcf pass validity vlel
2203 test validity-vlel3-mult-diff vlel302 tcf pass validity vlel
2204
2205 test validity-vmfn2-basic vmfn201 tcf pass validity vmfn
2206
2207 test validity-vrfa-basic vrfa001 tcf pass validity vrfa
2208 test validity-vrfa-inherited vrfa002 tcf pass validity vrfa
2209
2210 test validity-vreg-same vreg001 tcf pass validity vreg
2211 test validity-vreg-diff vreg002 tcf pass validity vreg
2212
2213 test validity-vrrr-basic vrrr001 tcf pass validity vrrr
2214
2215 test validity-vrle1-basic vrle101 tcf pass validity vrle
2216 test validity-vrle2-basic vrle201 tcf pass validity vrle
2217
2218 test validity-vape-basic vape001 tcf pass validity vape
2219
2220 test validity-vaol1-basic vaol101 tcf pass validity vaol
2221 test validity-vaol2-basic vaol201 tcf pass validity vaol
2222
2223 test validity-vuex2-in-multibranch vuex201 tcf pass validity vuex
2224
2225 -- Systematic Lace validity tests
2226
2227 test lace-vd01-basic vd01001 tcf pass validity vd01
2228 test lace-vd04-basic vd04001 tcf pass validity vd04
2229 test lace-vd10-basic vd10001 tcf pass validity vd10
2230 test lace-vd13-basic vd13001 tcf pass validity vd13
2231 test lace-vd16-basic vd16001 tcf pass validity vd16
2232 test lace-vd19-basic vd19001 tcf pass validity vd19
2233 test lace-vd20-basic vd20001 tcf pass validity vd20
2234 test lace-vd23-basic vd23001 tcf pass validity vd23
2235 test lace-vd25-basic vd25001 tcf pass validity vd25
2236 test lace-vd27-basic vd27001 tcf pass validity vd27
2237
2238
2239 -- Regression tests of bugs which have been fixed
2240
2241 test no-leading-white-space fixed001 tcf pass fixed
2242 test no-upper-bit-constants fixed002 tcf pass fixed
2243 test empty-creation-list fixed003 tcf pass fixed
2244 test bad-feature-decl fixed004 tcf pass fixed
2245 test syntax-wrong-positions fixed005 tcf pass fixed
2246 test empty-rename-list fixed006 tcf pass fixed
2247 test empty-inheritance-clauses fixed007 tcf pass fixed
2248 test big-strings fixed008 tcf pass fixed
2249 test inherit-index-small-enough fixed010 tcf pass fixed
2250 test creation-proc-function fixed011 tcf pass fixed
2251 test empty-free-operator fixed012 tcf pass fixed
2252 test class-name-confusion fixed013 tcf pass fixed
2253 test frozen-and-deferred fixed014 tcf pass fixed
2254 test case-sensitive-feature fixed015 tcf pass fixed
2255 test violate-has-a-new-name fixed016 tcf pass fixed
2256 test expanded-type-violation fixed017 tcf pass fixed
2257 test invalid-creation-instruction2 fixed018 tcf pass fixed
2258 test invalid-actual-generic fixed019 tcf pass fixed
2259 test empty-debug-key fixed020 tcf pass fixed
2260 test empty-when-part-list fixed021 tcf pass fixed
2261 test invalid-actual-generic2 fixed022 tcf pass fixed
2262 test invalid-actual-generic3 fixed023 tcf pass fixed
2263 test invalid-actual-generic4 fixed024 tcf pass fixed
2264 test invalid-actual-generic5 fixed025 tcf pass fixed
2265 test result-in-precondition fixed026 tcf pass fixed
2266 test invalid-select-change fixed027 tcf pass fixed
2267 test assign-rule-client-change fixed028 tcf pass fixed
2268 test inherit-chg-skip-pass fixed029 tcf pass fixed
2269 test precond-valid-cursor-index fixed030 tcf pass fixed
2270 test deep-function-nest fixed032 tcf pass fixed
2271 test multi-branch-empty-else fixed033 tcf pass fixed
2272 test multi-branch-interval fixed034 tcf pass fixed
2273 test conditional-empty-then fixed035 tcf pass fixed
2274 test repeated-rescue-panic fixed036 tcf pass fixed
2275 test creation-once-routine fixed037 tcf pass fixed
2276 test cluster-modified-viol fixed038 tcf pass fixed
2277 test chg-class-to-nonexistent fixed039 tcf pass fixed
2278 test bit-any-no-conform fixed040 tcf pass fixed
2279 test nonexistent-root-class fixed041 tcf pass fixed
2280 test missing-class-header fixed042 tcf pass fixed
2281 test lace-syntax-error-retry fixed043 tcf pass fixed
2282 test invalid-actual-generic6 fixed044 tcf pass fixed
2283 test const-and-boolean-op fixed045 tcf pass fixed
2284 test lace-string-case fixed046 tcf pass fixed
2285 test lace-invalid-root-name fixed048 tcf pass fixed
2286 test lace-nonexistent-options fixed050 tcf pass fixed
2287 test lace-null-class-name2 fixed052 tcf pass fixed
2288 test lace-null-class-name3 fixed054 tcf pass fixed
2289 test debug-with-keys fixed055 tcf pass fixed
2290 test lace-remove-cluster fixed056 tcf pass fixed
2291 test change-debug-option fixed057 tcf pass fixed
2292 test wrong-real-arithmetic fixed058 tcf pass fixed
2293 test bool-const-no-output fixed059 tcf pass fixed
2294 test finalize-appl fixed061 tcf pass fixed
2295 test deferred-feature-call fixed062 tcf pass fixed
2296 test expanded-anchor fixed063 tcf pass fixed
2297 test nongeneric-to-generic fixed064 tcf pass fixed
2298 test undefine-subclause-violation fixed065 tcf pass fixed
2299 test non-boolean-exit fixed066 tcf pass fixed
2300 test entity-rule-violation fixed067 tcf pass fixed
2301 test misleading-vmfn-error fixed068 tcf pass fixed
2302 test time-checker-error fixed069 tcf pass fixed
2303 test intro-assign-rule-viol fixed070 tcf pass fixed ec_precondition
2304 test once-function-void fixed071 tcf pass fixed
2305 test vuex-violation fixed072 tcf pass fixed
2306 test invalid-local-entity-assign fixed073 tcf pass fixed
2307 test precond-good-cluster fixed074 tcf pass fixed
2308 test creation-instruction-sneak fixed075 tcf pass fixed
2309 test generic-root-to-nongeneric fixed076 tcf pass fixed
2310 test lace-remove-creation-proc fixed077 tcf pass fixed
2311 test debug-keys-case-sensitive fixed078 tcf pass fixed
2312 test invalid-identifier fixed079 tcf pass fixed
2313 test comment-assertion-with-tag fixed080 tcf pass fixed
2314 test invalid-characters fixed081 tcf pass fixed
2315 test deferred-feature-bad-header fixed082 tcf pass fixed
2316 test invalid-redefine-subclause fixed083 tcf pass fixed
2317 test old-name-inherit-clauses fixed084 tcf pass fixed
2318 test general-conformance fixed085 tcf pass fixed conformance
2319 test old-in-precondition fixed086 tcf pass fixed
2320 test none-conform-bit-expanded fixed087 tcf pass fixed
2321 test delete-inheritance fixed088 tcf pass fixed
2322 test melt-inherit-bug fixed089 tcf pass fixed
2323 test change-generic-parm-count fixed090 tcf pass fixed
2324 test expanded-client-violation fixed091 tcf pass fixed
2325 test local-entity-violation fixed092 tcf pass fixed
2326 test hidden-expanded-client fixed093 tcf pass fixed
2327 test expanded-type-hidden fixed094 tcf pass fixed
2328 test add-delete-type-error fixed095 tcf pass fixed
2329 test generic-deriv-slide fixed096 tcf pass fixed
2330 test real-double-print fixed097 tcf pass fixed
2331 test unknown-entity-type fixed098 tcf pass fixed
2332 test fix-vuar-error fixed099 tcf pass fixed
2333 test freezing-good-type-id fixed100 tcf pass fixed
2334 test chg-generic-constraint fixed101 tcf pass fixed
2335 test remove-external-routine fixed102 tcf pass fixed
2336 test refreeze-table-size fixed103 tcf pass fixed
2337 test inherit-generic-more-complex fixed104 tcf pass fixed
2338 test melting-make-update fixed105 tcf pass fixed
2339 test invalid-feature-redeclaration fixed106 tcf pass fixed
2340 test expanded-client-inherited fixed107 tcf pass fixed
2341 test expanded-client-death fixed108 tcf pass fixed
2342 test make-byte-code-void-ref fixed109 tcf pass fixed
2343 test unknown-problem fixed110 tcf pass fixed
2344 test real-const-attr-panic fixed111 tcf pass fixed
2345 test many-locals fixed112 tcf pass fixed
2346 test generic-expanded-client fixed113 tcf pass fixed
2347 test lace-opt-cluster-mark fixed114 tcf pass fixed
2348 test lace-assertion-option fixed118 tcf pass fixed
2349 test lace-remove-cluster2 fixed119 tcf pass fixed
2350 test whip-that-ace fixed120 tcf pass fixed
2351 test concat-manifest-bit-array fixed123 tcf pass fixed
2352 test creation-generic-types-in-onces fixed124 tcf pass fixed
2353 test reference-assign-tuple-fail-gc fixed125 tcf pass fixed tuple
2354 test infix-inherited-assertions fixed126 tcf pass fixed
2355 test inline-special-infix-at fixed127 tcf pass fixed inlining special
2356 test synonyms-with-indexing fixed128 tcf pass fixed
2357 test elseif-with-compound fixed129 tcf pass fixed
2358 test attribute-in-inherited-assertion fixed130 tcf pass fixed
2359 test external-inline-boolean fixed131 tcf pass fixed inlining
2360 test class-name-in-multiline-string fixed132 tcf pass fixed
2361 test generic-constraint-to-none fixed133 tcf pass fixed
2362 test crash-degree-minus-1 fixed134 tcf pass fixed
2363
2364
2365 test roundtrip-test rdtp001 tcf pass fixed
2366 test roundtrip-number-denoted-character rdtp002 tcf pass fixed
2367
2368 -- Tests for assertion monitoring
2369 test supplier-preconditions assert001 tcf pass assertions execution
2370 test use-application-options-assertions assert002 tcf pass assertions execution
2371 test undefined-assertion-merge assert003 tcf pass assertions
2372
2373 -- Multi Constraint Tests
2374 test multi-constraint-basics multicon001 tcf pass multiconstraint
2375 test multi-constraint-creation multicon002 tcf pass multiconstraint
2376 test multi-constraint-renaming multicon003 tcf pass multiconstraint
2377 test multi-constraint-inheritance multicon004 tcf pass multiconstraint
2378 test multi-constraint-assertions multicon005 tcf pass multiconstraint
2379 test multi-constraint-tuple multicon006 tcf pass multiconstraint tuple
2380 test multi-constraint-anchor multicon007 tcf pass multiconstraint
2381 test multi-constraint-root multicon008 tcf pass multiconstraint
2382 test multi-constraint-agents multicon009 tcf pass multiconstraint
2383 test multi-constraint-inline-agents multicon010 tcf pass multiconstraint
2384 test multi-constraint-formal-creation-constraint multicon011 tcf pass multiconstraint
2385 test multi-constraint-formal-heavy-renaming multicon012 tcf pass multiconstraint
2386 test multi-constraint-vtgc multicon013 tcf pass multiconstraint
2387 test multi-constraint-vtmc multicon014 tcf pass multiconstraint
2388 test multi-constraint-vtgd multicon015 tcf pass multiconstraint
2389 test multi-constraint-rename-conflict multicon016 tcf pass multiconstraint
2390 test multi-constraint-non-existent-renamed multicon017 tcf pass multiconstraint
2391 test multi-constraint-infix-renamed multicon018 tcf pass multiconstraint
2392 test multi-constraint-is-inherited multicon019 tcf pass multiconstraint
2393 test multi-constraint-vtgd-create multicon020 tcf pass multiconstraint
2394 test multi-constraint-add-gen-constraint multicon021 tcf pass multiconstraint
2395 test multi-constraint-renaming1 multicon022 tcf pass multiconstraint
2396 test multi-constraint-renaming2 multicon023 tcf pass multiconstraint
2397 test multi-constraint-check-constraints multicon024 tcf pass multiconstraint
2398 test multi-constraint-actual-type multicon025 tcf pass multiconstraint
2399 test multi-constraint-rename-formal multicon026 tcf pass multiconstraint
2400 test multi-constraint-creation-through-formal multicon027 tcf pass multiconstraint
2401 test multi-constraint-abstract-creation multicon028 tcf pass multiconstraint
2402 test multi-constraint-creation-crash01 multicon029 tcf pass multiconstraint
2403 test multi-constraint-code-generation-crash01 multicon030 tcf pass multiconstraint
2404 test multi-constraint-renamed-creation-feature multicon031 tcf pass multiconstraint
2405 test multi-constraint-single-constraint-renaming multicon032 tcf pass multiconstraint
2406 test multi-constraint-single-constraint-renaming2 multicon033 tcf pass multiconstraint
2407 test multi-constraint-recursion-bug multicon034 tcf pass multiconstraint
2408 test multi-constraint-nested-calls multicon035 tcf pass multiconstraint
2409 test multi-constraint-vtmc4 multicon036 tcf pass multiconstraint
2410 test multi-constraint-tuples multicon037 tcf pass multiconstraint tuple
2411 test multi-constraint-tuples2 multicon038 tcf pass multiconstraint tuple
2412 test multi-constraint-rename-alias multicon039 tcf pass multiconstraint
2413 test multi-constraint-assigner multicon040 tcf pass multiconstraint
2414 test multi-constraint-recursive-generic multicon041 tcf pass multiconstraint
2415 test multi-constraint-rename-clause-crash multicon042 tcf pass multiconstraint
2416 test multi-constraint-order-affects-semantic multicon043 tcf pass multiconstraint
2417 test multi-constraint-rename-to-infix multicon044 tcf pass multiconstraint
2418 test multi-constraint-alias multicon045 tcf pass multiconstraint
2419 test multi-constraint-constrained-twice multicon046 tcf pass multiconstraint
2420 test multi-constraint-renaming-to-existing-feature multicon047 tcf pass multiconstraint
2421 test multi-constraint-any-numeric-crash multicon048 tcf pass multiconstraint
2422 test multi-constraint-parallel-renaming multicon049 tcf pass multiconstraint
2423 test multi-constraint-alias-renamed multicon050 tcf pass multiconstraint
2424 test multi-constraint-alias multicon051 tcf pass multiconstraint system-validity
2425 test multi-constraint-light-roundtrip multicon052 tcf pass multiconstraint
2426 test multi-constraint-constrained-twice-2 multicon053 tcf fail multiconstraint
2427 test multi-constraint-constrained-by-self multicon054 tcf fail multiconstraint
2428 test multi-constraint-make-byte-code-crash multicon055 tcf fail multiconstraint
2429 test multi-constraint-static-access multicon056 tcf fail multiconstraint
2430 test multi-constraint-static-access-2 multicon057 tcf fail multiconstraint
2431 test inherited-unary-with-generic multicon058 tcf pass multiconstraint formal
2432 test multi-constraint-real-type-in-crash multicon059 tcf fail multiconstraint formal
2433 test saving-multiconstraint-generic-class-crash multicon060 tcf pass multiconstraint formal incrementality
2434 test expanded-generic-with-multiconstraint multicon061 tcf pass multiconstraint formal execution
2435
2436 -- tests for expanded types
2437 test expanded-array-attached-reference-array expanded001 tcf pass expanded
2438 test expanded-reverse-assignment expanded002 tcf pass expanded
2439 test array-of-user-defined-expanded expanded003 tcf pass expanded
2440 test expanded-formal-multiconstraint expanded004 tcf pass expanded
2441 test expanded-formal-multiconstraint2 expanded005 tcf pass expanded
2442 test wrong-type-in-expanded-generic-in-generic expanded006 tcf pass expanded
2443 test complex-expanded-generic-inheritance-crash expanded007 tcf pass expanded
2444 test expanded-with-references-crash expanded008 tcf pass expanded
2445 test external-with-expanded-crash expanded009 tcf pass expanded
2446 test expanded-attribute-crash-with-tiny expanded010 tcf pass expanded
2447
2448 test filename-classname-mismatch-warning warn001 tcf pass warning
2449
2450 test ephemeral-basics ephemeral001 tcf pass ephemeral
2451
2452 -- test for agents
2453 test agent-optimization-failure agent001 tcf fail agents
2454 test agent-with-like agent002 tcf pass agents
2455 test agent-with-basic agent003 tcf fail agents finalizing
2456 test agent-crash agent004 tcf pass agents
2457 test agent-too-many-arguments agent005 tcf pass agents
2458 test incorrect-agent-type agent006 tcf fail agents
2459 test agent-dotnet-failure agent007 tcf pass agents dotnet
2460 test agent-on-tuple-label agent008 tcf pass agents tuple
2461 test agent-on-with-attached-operands agent009 tcf pass agents tuple
2462 test agent-calling-attribute-with-formal-type agent010 tcf pass agents formal generic
2463 test various-agent-creation-and-calls agent011 tcf pass agents
2464 test agent-basic-type-mismatch agent012 tcf pass agents finalizing
2465 test agent-descendant-final-crash agent013 tcf pass agents finalizing
2466 test agent-third-formal-finalization agent014 tcf pass agents finalizing
2467
2468 -- Tests for platform specific results
2469 test print-large-pointer platform001 tcf pass platform
2470
2471 -- Tests for attached types and void-safe constructs
2472 test object-test-semantics attach001 tcf pass execution object_test expanded attached_types
2473 test object-test-local-scope attach002 tcf pass validity object_test scope local attached_types
2474 test like-current-object-test-no-defaults attach003 tcf pass object_test attached_types
2475 test object-test-with-local-use-failure attach004 tcf pass object_test attached_types
2476 test current-is_attached-no-defaults attach005 tcf pass attached_types
2477 test anchored-attached-type-failure-no-defaults attach006 tcf pass attached_types anchored_type
2478 test attached-formal-generic attach007 tcf pass conformance attached_types
2479 test object-test-in-invariant attach008 tcf pass object_test attached_types
2480 test attached-basic-type attach009 tcf pass conformance basic_types attached_types
2481 test attached-generic-type-conformance attach010 tcf pass conformance attached_types
2482 test correct-attached-predicate-precedence-semantics attach011 tcf pass object_test execution attached_types
2483 test object-test-chain attach012 tcf pass object_test execution attached_types
2484 test object-test-code-generation attach013 tcf pass object_test execution attached_types
2485 test read-only-void-test-in-assertion attach014 tcf pass attached_types scope local
2486 test scope-after-combined-expression attach015 tcf pass attached_types scope local
2487 test anchored-object-test-local attach016 tcf pass object_test attached_types anchored_type
2488 test object-test-in-assertion attach017 tcf pass object_test system-validity attached_types
2489 test object-test-finalization-crash attach018 tcf pass object_test attached_types
2490 test object-test-invariant-any-to-expanded attach019 tcf fail object_test expanded invariant attached_types
2491 test detached-type-target-conversion attach020 tcf fail attached_types system-validity
2492 test explicit-attached-formal-conformance attach021 tcf pass attached_types system-validity conformance
2493 test attached-external-check attach022 tcf pass attached_types external generic anchored_type
2494 test attached-wrong-initialization attach023 tcf pass attached_types
2495 test attached-like-feature-formal-crash attach024 tcf pass attached_types
2496 test attached-formal-constraint attach025 tcf pass attached_types generic
2497 test attached-attribute-init attach026 tcf pass attached_types self_init
2498 test redefine-attached-attribute-init attach027 tcf pass attached_types self_init
2499 test generic-attached-attribute-init attach028 tcf pass attached_types self_init generic
2500 test full-void-safe-compilation attach029 tcf pass void_safe attached_types
2501 test attribute-init-code-generation-correct attach030 tcf pass self_init incrementality melting attached_types
2502 test parent-attribute-init attach031 tcf pass self_init attached_types
2503 test like-current-is-detached attach032 tcf pass attached_types anchored_type system-validity
2504 test attached-type-creation-internal attach033 tcf pass attached_types reflection
2505 test anchored-generic-carries-attachment attach034 tcf pass attached_types generic
2506 test object-test-in-precondition attach035 tcf pass object_test attached_types
2507 test default-in-special-access attach036 tcf pass special attached_types
2508 test attached-type-set-in-conditional attach037 tcf pass attached_types
2509 test object-test-local-same-lower-name attach038 tcf pass attached_types
2510 test void-safe-inherited-precursor attach039 tcf pass void_safe precursor attached_types
2511 test object-test-not-visible-to-old-express attach040 tcf pass object_test system-validity attached_types
2512 test current-in-self-init-attribute attach041 tcf pass attached_types self_init void_safe validity
2513 test agent-attached-by-default attach042 tcf pass attached_types void_safe incrementality c_compilation
2514 test empty-agent-argument-attached-by-default attach043 tcf pass attached_types void_safe
2515 test attached-type-attribute-attachment attach044 tcf pass attached_types reflection
2516 test attached-inherited-argument attach045 tcf pass attached_types void_safe scope
2517 test attribute-initialization-in-rescue attach046 tcf pass attached_types void_safe validity
2518 test argument-type-correct attach047 tcf pass attached_types
2519 test operator-undetected-call-on-void-target attach048 tcf pass attached_types
2520 test scope-with-non-boolean-operator attach049 tcf fail void_safe object_test scope attached_types
2521 test vevi-missed-for-once-routine attach050 tcf pass void_safe attached_types
2522 test detach-to-attach-assignment attach051 tcf pass void_safe validity dotnet attached_types
2523 test same-object-test-local-failure attach052 tcf pass void_safe attached_types
2524 test various-object-tests attach053 tcf pass void_safe attached_types
2525 test recursive-once-function-call-on-void-target attach054 tcf fail void_safe attached_types
2526 test bogus-vevi-when-inherit-expanded attach055 tcf fail void_safe attached_types
2527 test stable-attribute-redeclaration attach056 tcf pass stable attribute redeclaration validity
2528 test stable-attribute-caps attach057 tcf pass stable attribute attached_types
2529 test void-safety-level attach058 tcf pass void_safe validity dotnet attached_types
2530 test voidness-cap-in-assertion attach059 tcf pass void_safe scope
2531 test like-current-void-safety attach060 tcf pass void_safe anchored_type
2532 test object-test-in-inherited-assertions attach061 tcf pass void_safe object_test fixed
2533 test detaching-attached-variable-in-loop attach062 tcf pass void_safe scope validity
2534 test void-assigned-to-stable-attribute attach063 tcf pass void_safe stable attribute validity
2535 test void-assigned-to-object-test-with-create attach064 tcf pass void_safe object_test
2536 test object-test-code-generation attach065 tcf pass object_test
2537 test detachable-for-attached-constraint attach066 tcf pass void_safe attached_types generic conformance validity
2538 test call-on-detachable-generic attach067 tcf pass void_safe attached_types generic validity
2539 test conversion-from-cap-attached attach068 tcf pass void_safe attached_types conversion
2540 test attached-special-creation attach069 tcf pass attached_types special
2541 test stable-attribute-in-rescue attach070 tcf pass void_safe validity stable attribute scope
2542 test self-init-attribute-non-void-safe attach071 tcf fail attached_types self_init void_safe
2543 test default-create-missing-check attach072 tcf pass attached_types void_safe
2544 test bogus-vevi-expanded-formal-generic attach073 tcf fail attached_types void_safe
2545 test vevi-on-once-per-object-routine attach074 tcf pass attached_types void_safe once
2546 test once-per-object-creation-procedure attach075 tcf pass attached_types void_safe once
2547 test attached-to-none attach076 tcf fail attached_types void_safe once
2548 test attached-attribute-initialization attach077 tcf pass attached_types void_safe validity
2549 test detachable-formal-attached-constraint attach078 tcf pass attached_types formal generic constraint conformance validity
2550 test empty-attribute-body-bogus-vevi attach079 tcf pass attached_types validity
2551 test bogus-object-test attach080 tcf pass attached_types object_test execution
2552 test nonconforming-inheritance-bogus-vevi attach081 tcf fail attached_types non-conforming
2553 test repeated-inheritance-bogus-vevi attach082 tcf fail attached_types
2554 test self-initializing-attribute-gc attach083 tcf pass attached_types void_safe attribute self_init execution
2555 test manifest-string-type attach084 tcf pass attached_types void_safe execution
2556 test initialized-after-unreachable attach085 tcf pass attached_types void_safe unreachable_code
2557 test self-initializing-attribute-gc-2 attach086 tcf pass attached_types void_safe attribute self_init execution
2558
2559 -- Tests for conformance in general
2560 test basic-conformance conform001 tcf pass conformance
2561 test formal-conformance conform002 tcf pass conformance
2562 test catcall-checking-conformance conform003 tcf pass conformance
2563 test tuple-conformance-broken conform004 tcf pass conformance
2564 test reverse-assignment-on-attached-target-broken conform005 tcf pass conformance
2565 test manifest-tuple-type-conformance conform006 tcf pass conformance
2566 test attached-agent-procedure-conformance conform007 tcf fail conformance attached_types
2567 test attached-formal-creation conform008 tcf pass conformance attached_types
2568 test expanded-formal-conformance conform009 tcf pass conformance expanded formal generic validity constraint
2569 test formal-constraint-conformance conform010 tcf pass conformance formal generic validity constraint
2570
2571 -- Test for Reflection
2572 test basic-type-internal reflection001 tcf pass reflection
2573 test basic-type-internal-violation reflection002 tcf pass reflection
2574 test type-of-internal reflection003 tcf pass reflection
2575 test field-basic-type-inconsistency reflection004 tcf pass reflection
2576 test field-type-inconsistency reflection005 tcf pass reflection
2577 test storable-version-data reflection006 tcf pass reflection storable
2578
2579 -- Tests for anchored types
2580 test qat-evaluation-order anchor001 tcf pass anchored_type
2581 test qat-redeclaration-check anchor002 tcf pass anchored_type redeclaration validity conformance incrementality
2582 test inherited-qat-failure anchor003 tcf pass anchored_type system-validity
2583 test delayed-check-failure-with-infix anchor004 tcf pass anchored_type termination
2584 test qat-creation-with-deferred anchor005 tcf pass anchored_type creation execution
2585 test qat-creation-with-like-current anchor006 tcf pass anchored_type creation execution
2586 test qat-creation-with-generic anchor007 tcf pass anchored_type creation execution formal generic
2587 test qat-multi-formal-conformance anchor008 tcf pass anchored_type multiconstraint formal generic conformance validity
2588 test qat-crash-in-local anchor009 tcf pass anchored_type
2589 test qat-crash-in-local-2 anchor010 tcf pass anchored_type
2590 test qat-cycle-with-class-name anchor011 tcf pass anchored_type
2591 test qat-anchored-to-generic anchor012 tcf pass anchored_type
2592 test qat-formal-generic-in-anchor anchor013 tcf pass anchored_type
2593 test qat-chain-with-missing-feature anchor014 tcf pass anchored_type
2594 test qat-adapted-in-crash anchor015 tcf pass anchored_type
2595 test qat-linked-to-local-anchor anchor016 tcf pass anchored_type
2596 test qat-generic-parms-for-nongeneric-class anchor017 tcf pass anchored_type
2597 test qat-linked-to-formal anchor018 tcf pass anchored_type
2598 test qat-conformance-type-crash anchor019 tcf pass anchored_type
2599 test qat-like-current-repetition anchor020 tcf pass anchored_type
2600 test qat-with-renamed-features anchor021 tcf pass anchored_type renaming
2601 test qat-with-redefined-features anchor022 tcf pass anchored_type system-validity
2602 test qat-with-non-formal-generic anchor023 tcf pass anchored_type
2603 test qat-in-generic-constraint anchor024 tcf pass anchored_type
2604 test qat-renamed-constraint anchor025 tcf pass anchored_type formal generic
2605 test qat-with-missing-actual-generic anchor026 tcf pass anchored_type
2606 test qat-with-expanded-type anchor027 tcf pass anchored_type expanded creation
2607 test qat-actual-generic-anchored-to-generic anchor028 tcf fail anchored_type
2608 test qat-with-invalid-actual-generic anchor029 tcf fail anchored_type
2609 test qat-with-expanded-deferred anchor030 tcf pass anchored_type
2610 test qat-on-generic-in-descendant anchor031 tcf fail anchored_type
2611 test qat-anchored-to-expanded-via-generic anchor032 tcf fail anchored_type
2612 test qat-instantiated-in-crash anchor033 tcf fail anchored_type
2613 test qat-abstract-creation-crash anchor034 tcf fail anchored_type
2614 test qat-skeleton-adapted-in-crash anchor035 tcf fail anchored_type
2615 test qat-constraints-if-possible-crash anchor036 tcf fail anchored_type
2616 test qat-adapted-in-crash-2 anchor037 tcf fail anchored_type
2617 test qat-hash-code-crash anchor038 tcf fail anchored_type
2618 test qat-vmfn-compiler-error anchor039 tcf fail anchored_type
2619 test qat-finalized-wrong-type anchor040 tcf fail anchored_type
2620 test qat-constrained-type-in-crash anchor041 tcf fail anchored_type
2621 test qat-same-generic-derivation-crash anchor042 tcf fail anchored_type
2622 test qat-invalid-vgcc anchor043 tcf fail anchored_type
2623 test qat-evaluated-type-in-descendant-crash anchor044 tcf fail anchored_type
2624 test qat-invalid-veen-in-generic-descendant anchor045 tcf fail anchored_type
2625 test qat-instantiated-in-crash-2 anchor046 tcf fail anchored_type formal generic
2626 test qat-constrained-types-crash anchor047 tcf fail anchored_type formal generic
2627 test qat-conformance-type-crash-2 anchor048 tcf fail anchored_type formal generic
2628 test qat-process-formal-as-crash anchor049 tcf fail anchored_type formal generic
2629 test qat-invalid-vffd anchor050 tcf fail anchored_type
2630 test qat-c-compile-failure anchor051 tcf fail anchored_type generic
2631 test qat-anchored-to-redefined-descendant anchor052 tcf fail anchored_type
2632 test qat-inlining-bug anchor053 tcf fail anchored_type generic inlining
2633 test qat-instantiated-in-crash-3 anchor054 tcf fail anchored_type formal generic
2634 test qat-static-type-id-crash-2 anchor055 tcf fail anchored_type formal generic multiconstraint
2635 test qat-generic-constrained-by-self anchor056 tcf fail anchored_type formal generic manual
2636 test qat-multi-constraint-type anchor057 tcf fail anchored_type multiconstraint formal generic renaming creation
2637 test qat-invalid-vffd-2 anchor058 tcf fail anchored_type
2638 test qat-using-generic-feature-finalized anchor059 tcf fail anchored_type
2639 test qat-in-creation-procedure anchor060 tcf fail anchored_type finalizing
2640 test qat-generic-with-rename anchor061 tcf fail anchored_type
2641
2642 -- SCOOP
2643 test scoop-access-smoke scoop001 tcf pass scoop execution
2644 test scoop-argument-validity scoop002 tcf pass scoop validity expanded
2645 test scoop-hanging-1 scoop003 tcf pass scoop execution
2646 test scoop-basic-argument-formal-nested scoop004 tcf pass scoop execution
2647 test scoop-separate-like-current scoop005 tcf pass scoop execution
2648 test scoop-result-validity scoop006 tcf pass scoop validity expanded
2649 test scoop-external-call scoop007 tcf pass scoop execution
2650 test scoop-freeze-condition scoop008 tcf pass scoop execution incrementality
2651 test scoop-wait-condition scoop009 tcf pass scoop execution assertion
2652 test scoop-request-chain-exception scoop011 tcf pass scoop execution exception
2653 test scoop-false-wait-condition scoop012 tcf pass scoop execution assertion exception
2654 test scoop-inline-separate-call scoop013 tcf fail scoop finalizing inlining
2655 test scoop-separate-expanded scoop014 tcf pass scoop expanded
2656 test scoop-separate-patterns-crash scoop015 tcf pass scoop finalizing
2657 test scoop-finalize-c-failure scoop016 tcf pass scoop finalizing c_compilation
2658 test scoop-separate-call-to-constant scoop017 tcf pass scoop execution
2659 test scoop-once-per-object scoop018 tcf pass scoop execution incrementality once
2660 test scoop-top-exception scoop019 tcf pass scoop
2661
2662 -- Prettify
2663 test pretty-smoke-test pretty001 tcf pass pretty
2664 test pretty-explicit-creation-space pretty002 tcf pass pretty
2665 test pretty-argument-list-separators pretty003 tcf pass pretty
2666 test pretty-class-note-indentation pretty004 tcf pass pretty
2667 test pretty-constant-attribute-space pretty005 tcf pass pretty
2668 test pretty-obsolete-and-external pretty006 tcf pass pretty
2669 test pretty-loop-variant pretty007 tcf pass pretty
2670 test pretty-retry-instruction pretty008 tcf pass pretty
2671 test pretty-integer-constant pretty009 tcf pass pretty
2672 test pretty-inspect-cases pretty010 tcf pass pretty
2673 test pretty-note-on-attribute pretty011 tcf pass pretty
2674 test pretty-convert-clause pretty012 tcf pass pretty
2675 test pretty-multiconstrained-generics pretty013 tcf pass pretty
2676 test pretty-formal-renaming pretty014 tcf pass pretty
2677 test pretty-comment-indentation pretty015 tcf pass pretty
2678 test pretty-check-instruction pretty016 tcf pass pretty
2679 test pretty-nested-comment pretty017 tcf pass pretty
2680 test pretty-assertion-clause pretty018 tcf pass pretty
2681 test pretty-feature-adaptation pretty019 tcf pass pretty
2682 test pretty-bracket-expression pretty020 tcf pass pretty
2683 test pretty-attribute-comment pretty021 tcf pass pretty
2684 test pretty-expression-comment pretty022 tcf pass pretty
2685 test pretty-typed-character pretty023 tcf pass pretty
2686 test pretty-multiple-feature-clauses pretty024 tcf pass pretty
2687 test pretty-routine-comment-indentation pretty025 tcf pass pretty
2688 test pretty-constant-attribute-comment pretty026 tcf pass pretty
2689 test pretty-feature-call-comment pretty027 tcf pass pretty
2690 test pretty-comments-between-features pretty028 tcf pass pretty
2691
2692 -- Testing facility
2693 test testing-with-error testing001 tcf pass testing
2694
2695 -- .NET specific test
2696 if DOTNET test expanded-object-conversion dotnet001 tcf pass dotnet
2697 test tuple-insertions-assertions dotnet002 tcf pass dotnet tuple
2698 test copy-infinite-recursion dotnet003 tcf pass dotnet
2699 test dotnet-nested-constant-access dotnet004 tcf pass dotnet
2700 test multithreaded-once-routine dotnet005 tcf pass dotnet multithreaded
2701 if DOTNET test dotnet-float-literal dotnet006 tcf pass dotnet
2702 if DOTNET test system-object-creation dotnet007 tcf pass dotnet
2703 if DOTNET test dotnet-expanded-any-conversion dotnet008 tcf pass dotnet
2704 if DOTNET test single-class-with-inherited-anchor dotnet009 tcf pass dotnet
2705 test is_equal-on-generic-class-fails dotnet010 tcf pass dotnet
2706 if DOTNET test feature-calls-on-dotnet-expanded-attribute dotnet011 tcf pass dotnet
2707 if DOTNET test inherit-icloneable dotnet012 tcf pass dotnet
2708 if DOTNET test nested-external-call-which-is-static dotnet013 tcf pass dotnet
2709 test dotnet-inherit-new-array-type dotnet014 tcf pass dotnet
2710 test none-usage-in-internal-type-comparison dotnet015 tcf fail dotnet
2711 if DOTNET test dotnet-empty-custom-attributes dotnet016 tcf pass dotnet
2712 test dotnet-replicated-standard_twin dotnet017 tcf pass dotnet
2713 if DOTNET test dotnet-custom-attributes dotnet018 tcf fail dotnet custom_attributes
2714 if DOTNET test dotnet-attribute-in-enum dotnet019 tcf pass dotnet
2715 if DOTNET test dotnet-enum-value dotnet020 tcf fail dotnet
2716 if DOTNET test dotnet-value-type-initialization dotnet021 tcf pass dotnet
2717 if DOTNET test custom-attribute-type-change dotnet022 tcf pass dotnet incrementality custom_attributes
2718 if DOTNET test deferred-inherited-from-external dotnet023 tcf pass dotnet
2719 if DOTNET test renamed-feature-from-interface dotnet024 tcf pass dotnet
2720 if DOTNET test property-name-clash dotnet025 tcf pass dotnet property
2721 if DOTNET test enum-inspect-validity dotnet026 tcf pass dotnet
2722 if DOTNET test property-assigner-generation dotnet027 tcf pass dotnet property assign
2723 if DOTNET test field-assigner-generation dotnet028 tcf pass dotnet
2724 test property-accessor-name-clash dotnet029 tcf pass dotnet property
2725 test inline-agent-of-descendant dotnet030 tcf pass dotnet
2726 test deferred-class-inherit-dotnet dotnet031 tcf pass dotnet
2727 if DOTNET test single-inheritance-test dotnet032 tcf pass dotnet
2728 test assertion-evaluation-order dotnet033 tcf fail dotnet
2729 test pointer-to-external-expanded dotnet034 tcf pass dotnet expanded
2730 if DOTNET test ambiguous-dotnet-types dotnet035 tcf fail dotnet expanded
2731 test real-output-no-locale dotnet036 tcf pass dotnet real locale
2732 if DOTNET test overload-with-argument-type dotnet037 tcf pass dotnet
2733 if DOTNET test compatible-single-and-interface dotnet038 tcf pass dotnet
2734 if DOTNET test versioned-interface_implementation dotnet039 tcf pass dotnet
2735 if DOTNET test renamed-frozen-interface-implementation-for-single dotnet040 tcf pass dotnet
2736 if DOTNET test deferred-property-generation dotnet041 tcf pass dotnet property
2737 if DOTNET test merged-typed-pointer-argument dotnet042 tcf pass dotnet
2738 if DOTNET test correct-bound-property-assigner dotnet043 tcf pass dotnet
2739 if DOTNET test valid-dotnet-basic-typeof dotnet044 tcf pass dotnet
2740 if DOTNET test correct-override-on-multi-versioned-members dotnet045 tcf pass dotnet
2741 if DOTNET test function-property-call-correction dotnet046 tcf pass dotnet property
2742 if DOTNET test deferred-property-missing-assigner-implementation dotnet047 tcf pass dotnet property
2743 if DOTNET test deferred-property-missing-assigner-implementation-renamed dotnet048 tcf pass dotnet property
2744 if DOTNET test effecting-from-inherited-external dotnet049 tcf pass dotnet
2745 test replicated-from-generic-type dotnet050 tcf pass dotnet termination expanded replication
2746 test implicit-type-cause-crash-on-cast dotnet051 tcf pass dotnet termination
2747 if DOTNET test incremental-custom-attribute-constant-change dotnet052 tcf fail dotnet custom_attributes
2748 if DOTNET test wrong-eiffel-name-attribute-generation dotnet053 tcf pass dotnet custom_attributes
2749 if DOTNET test field-attribute-test dotnet054 tcf fail dotnet custom_attributes
2750 if DOTNET test creation-without-default-ctor dotnet055 tcf fail dotnet constructor
2751 if DOTNET test incr-remove-create-dotnet-constructor dotnet056 tcf fail dotnet constructor incrementality
2752 if DOTNET test smart-object-automatic-implementation dotnet057 tcf fail dotnet
2753 if DOTNET test expected-any-type-name dotnet058 tcf pass dotnet namespace dotnet_names
2754 if DOTNET test expected-basic-type-names dotnet059 tcf pass dotnet namespace dotnet_names
2755 if DOTNET test dotnet-name-generation dotnet060 tcf fail dotnet dotnet_names
2756 if DOTNET test external-name-conflict-validation dotnet061 tcf pass dotnet dotnet_names
2757 if DOTNET test target-namespace-generation-rules dotnet062 tcf pass dotnet namespace
2758 if DOTNET test target-named-namespace-generation-rules dotnet063 tcf pass dotnet namespace
2759 if DOTNET test library-namespace-generation-rules dotnet064 tcf pass dotnet namespace
2760 if DOTNET test library-named-namespace-generation-rules dotnet065 tcf pass dotnet namespace
2761 if DOTNET test uncompiled-managed-resource-embeddeding dotnet066 tcf pass dotnet resources
2762 if DOTNET test compiled-managed-resource-embeddeding dotnet067 tcf pass dotnet resources
2763 if DOTNET test peripheral-resource-embeddeding dotnet068 tcf pass dotnet resources
2764 if DOTNET test non-existent-resource-embeddeding dotnet069 tcf fail dotnet resources
2765 if DOTNET test uncompiled-managed-resource-modified dotnet070 tcf fail dotnet resources
2766 if DOTNET test property-name-clash-named dotnet071 tcf pass dotnet property
2767 if DOTNET test property-name-clash-single-named dotnet072 tcf pass dotnet property
2768 if DOTNET test property-name-clash-named-inherited dotnet073 tcf pass dotnet property
2769 if DOTNET test properties-generated-on_eiffel-interface dotnet074 tcf pass dotnet property
2770 if DOTNET test illegal-routine-properties dotnet075 tcf pass dotnet property
2771 if DOTNET test property-reusing-parent-setter dotnet076 tcf fail dotnet property
2772 if DOTNET test deferred-property-function-on-single dotnet077 tcf fail dotnet property
2773 if DOTNET test property-incremental-add-remove dotnet078 tcf pass dotnet property incrementality
2774 if DOTNET test property-incremental-add-remove-single dotnet079 tcf pass dotnet property incrementality
2775 if DOTNET test property-on-procedure dotnet080 tcf pass dotnet property
2776 if DOTNET test ctor-basic dotnet081 tcf fail dotnet constructor
2777 if DOTNET test ctor-basic-dynamic dotnet082 tcf pass dotnet constructor
2778 if DOTNET test ctor-non-existing-create dotnet083 tcf pass dotnet constructor
2779 if DOTNET test ctor-single-default-ctor dotnet084 tcf pass dotnet constructor
2780 if DOTNET test ctor-parent-ctor-reference dotnet085 tcf pass dotnet constructor
2781 if DOTNET test ctor-parent-argumented-ctor-reference dotnet086 tcf pass dotnet constructor
2782 if DOTNET test ctor-parent-argumented-ctor-redefine dotnet087 tcf fail dotnet constructor
2783 if DOTNET test ctor-root-creation-ctor dotnet088 tcf fail dotnet constructor
2784 if DOTNET test ctor-multi-source-ctors dotnet089 tcf fail dotnet constructor
2785 if DOTNET test ctor-reference-from-external-type dotnet090 tcf fail dotnet constructor
2786 if DOTNET test ctor-multi-source-unique-ctors dotnet091 tcf fail dotnet constructor
2787 if DOTNET test ca-use-of-non-native-attribute dotnet092 tcf fail dotnet custom_attributes
2788 if DOTNET test ca-incorrect-context-usage dotnet093 tcf fail dotnet custom_attributes
2789 if DOTNET test ca-peripheral-assembly-metadata dotnet094 tcf pass dotnet custom_attributes
2790 if DOTNET test ca-assembly-md-with-compile-all dotnet095 tcf fail dotnet custom_attributes
2791 if DOTNET test ca-correct-assignment dotnet096 tcf pass dotnet custom_attributes
2792 if DOTNET test ca-basic-custom-attribute dotnet097 tcf pass dotnet custom_attributes
2793 if DOTNET test ca-custom-attribute-with-property dotnet098 tcf fail dotnet custom_attributes property
2794 if DOTNET test ca-custom-attribute-with-ctor dotnet099 tcf pass dotnet custom_attributes constructor
2795 if DOTNET test ca-custom-attribute-with-create dotnet100 tcf fail dotnet custom_attributes
2796 if DOTNET test application-optimizations-enabled dotnet101 tcf pass dotnet optimization
2797 if DOTNET test system-object-remapped-in-mscorlib-only dotnet102 tcf pass dotnet consumer
2798 if DOTNET test consumable-attribute-usage-in-eiffel dotnet103 tcf fail dotnet consumer consumable custom_attributes
2799 if DOTNET test generic-creation-with-external-ctor dotnet104 tcf pass dotnet constructor generic external creation
2800 if DOTNET test overridden-cluster-namespace-preserved dotnet105 tcf pass dotnet namespace
2801 if DOTNET test equal-on-dotnet-string-and-eiffel-string dotnet106 tcf pass dotnet
2802 if DOTNET test renaming-native-dotnet-feature-with-redefine-default-create dotnet107 tcf pass dotnet
2803 test anchored-creation-crash dotnet108 tcf pass dotnet
2804 test object-test-assertion-crash dotnet109 tcf pass dotnet
2805 test dotnet-polymorphism dotnet110 tcf pass dotnet
2806 if DOTNET test assigner-name-incrementality dotnet111 tcf pass dotnet
2807 test dotnet-special-handling-crash dotnet112 tcf pass dotnet special
2808 if DOTNET test dotnet-object-test-basic-type dotnet113 tcf pass dotnet attached_types
2809 if DOTNET test dotnet-array-data-copy dotnet114 tcf pass dotnet
2810 test dotnet-static-access-on-deferred dotnet115 tcf pass dotnet
2811 if DOTNET test missing-dotnet-type dotnet116 tcf pass dotnet

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23