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

Annotation of /trunk/eweasel/control/catalog

Parent Directory Parent Directory | Revision Log Revision Log


Revision 86987 - (hide annotations)
Thu Aug 11 21:49:58 2011 UTC (8 years, 5 months ago) by manus
File size: 172842 byte(s)
New test similar to rdtp001 except that it ensures that the implementation of `is_equivalent' from AST_EIFFEL is correct by comparing the result of two parsings of the same class and verifying they are indeed equivalent.

1 manus 71320 --| 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 tedf 73795 test date-duration-with-leap-years time002 tcf pass time
20 manus 78616 test date-time-with-epoch time003 tcf pass time
21 manus 71320
22     -- EiffelBase tests
23    
24     test array-is-equal array001 tcf pass array
25 manus 82131 test array-consistency array002 tcf pass array array2
26 manus 71320 test array-has array003 tcf pass array
27     test array-occurrences array004 tcf pass array
28 manus 82131 test array2-wipe-out array005 tcf pass array array2
29 alexk 81425 test manifest-array-invariant array006 tcf pass array
30 manus 82103 test array-force array007 tcf pass array
31 manus 82129 test array2-basics array008 tcf pass array array2
32 manus 71320
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 manus 75121 test sorted-two-way-list-invariant-violation list012 tcf pass list
45 manus 76655 test do-all-with-index-arrayed-list list013 tcf pass list
46 manus 77625 test two-way-list-merge list014 tcf pass list
47 fivaa 83064 test chain-move list015 tcf pass list
48 manus 71320
49 manus 76736 test priority-queue-basics queue001 tcf pass queue
50 paulb 79787 test heap-priority-queue-remove queue002 tcf pass queue
51 manus 81364 test queue-linear queue003 tcf pass queue
52 manus 76736
53 manus 71320 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 manus 76242 test void-items-set-crash set005 tcf pass set
61 manus 80334 test various-set-operations set006 tcf pass set
62 manus 71320
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 manus 82103 test iteration-with-default-key table005 tcf pass table iteration
74 manus 81638 test infinite-loop-on-removal-then-addition table006 tcf pass table
75 manus 81469 test remove-default-key table007 tcf pass table
76 jfiat 83325 test current_keys_void_safe table008 tcf pass table
77 manus 85503 test extend-after-removal-failures table009 tcf pass table
78 manus 71320
79 dhollen 77683 test recursive-delete-with-symlinks directory001 tcf pass directory
80    
81 manus 82103 test basic-iterations iteration001 tcf pass iteration
82 alexk 83230 test iteration-cursor-two-generics iteration002 tcf pass iteration formal generic
83 manus 82103
84 manus 75676 -- EiffelNet test
85     test net-out-of-descriptor net001 tcf pass net
86 manus 81898 test net-connect-failure net002 tcf pass net multithreaded
87 manus 75676
88 tedf 86484 -- EiffelStore test
89     test eiffelstore_various_functions eiffelstore001 tcf pass eiffelstore
90    
91 manus 71320 -- 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 manus 72775 test stack-trace-indefinitely-grows except015 tcf pass exception
107 tedf 73120 test queries_of_exceptions_class_1 except016 tcf pass exception
108     test queries_of_exceptions_class_2 except017 tcf pass exception
109 tedf 73121 test no_routine_failure_on_rescue_exception except018 tcf pass exception
110 tedf 73288 test memory_leak_when_retried except019 tcf pass exception
111 tedf 73407 test corrupted_trace except020 tcf pass exception
112 tedf 73492 test top_n_call_incorrect except021 tcf pass exception
113     test incorrect_local_restoration except022 tcf pass exception
114 tedf 73793 test native_signal_number_in_exception except023 tcf pass exception
115 tedf 73675 test native_error_number_in_exception except024 tcf pass exception
116 tedf 73776 test native_error_number_ise_io_error except025 tcf pass exception
117 tedf 73793 test buffer_overflows_printing_trace except026 tcf pass exception
118 manus 78207 test static_buffer_for_trace_not_thread_safe except027 tcf pass exception multithreaded
119 tedf 74049 test assertion_violations_in_onces except028 tcf pass exception
120 tedf 74070 test exception_on_invalid_object_has_no_trace except029 tcf pass exception
121 tedf 74125 test incorrect_once_trace_at_first_call except030 tcf pass exception
122     test every_trace_has_root except031 tcf pass exception
123 tedf 74658 test trace_has_no_pass except032 tcf pass exception
124 tedf 76759 test precondition-violation-infinite-loop except033 tcf fail exception
125 dhollen 76711 test last-exception-not-cleared except034 tcf fail exception
126 tedf 76759 test code-compatible-io-failure except035 tcf fail exception
127 tedf 77705 test original_routines_in_exceptions except036 tcf pass exception
128 tedf 77706 test exception_cause except037 tcf pass exception
129 manus 71320
130 tedf 82983 -- Unicode
131     test unicode_manifest_string_char_and_constants unicode001 tcf pass unicode
132     test unicode_free_operator unicode002 tcf pass unicode
133 tedf 84141 test big_extended_ascii_src unicode003 tcf pass unicode
134 tedf 84260 test extended_ascii_string_compatibility unicode004 tcf pass unicode
135 tedf 84440 test manifest-string-with-null-character unicode005 tcf pass unicode
136 tedf 82983
137 manus 71320 -- Non Conforming Inheritance
138 manus 73640 test basic-non-conforming-inheritance noncon001 tcf pass non-conforming
139 manus 74340 test non-conforming-inheritance-conformance noncon002 tcf pass non-conforming conformance
140 manus 73640 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 manus 76049 test non-conform-generic-class noncon015 tcf pass non-conforming
153 manus 73798 test non-conform-arguments noncon016 tcf pass non-conforming
154 manus 74160 test non-conform-infinite-loop noncon017 tcf pass non-conforming
155 king 75176 test non-conform-precondition-inheritance noncon019 tcf pass non-conforming
156 manus 76180 test incorrect-vrle-error noncon020 tcf pass non-conforming
157 king 77084 test non-conforming-reference-attribute-access noncon021 tcf pass non-conforming
158 king 77086 test non-conforming-constant-access noncon022 tcf pass non-conforming
159 manus 85125 test non-conforming-crash noncon023 tcf pass non-conforming
160 manus 71320
161 manus 74800 -- Replication
162     test replicate-precursor replication001 tcf pass replication
163 tedf 75321 test replicated-feature-merge replication002 tcf fail replication
164 manus 76899 test wrong-vdpr-error replication003 tcf pass replication
165 tedf 75386 test vmcs-warning1 replication004 tcf pass replication
166     test vmcs-warning2 replication005 tcf pass replication
167 tedf 75417 test repeated-onces replication006 tcf pass replication
168     test nc-replication-not-apply-vmcs replication007 tcf pass replication
169 manus 74800
170 manus 71320 -- 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 alexk 72442 test indexing-notes-syntax syntax048 tcf pass syntax indexing note
229 alexk 72884 test loop-variant-syntax syntax049 tcf pass syntax loop variant
230 manus 77287 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 dhollen 76235 test obsolete-inline-agent syntax053 tcf fail syntax
234 dhollen 76237 test invalid-manifest-type-char-constant syntax054 tcf fail syntax
235 manus 77287 test note-syntax syntax055 tcf pass syntax
236 manus 77338 test attached-syntax syntax056 tcf pass syntax attached
237 manus 77773 test external-with-invalid-use syntax057 tcf pass syntax
238 alexk 78944 test bracket-expression-on-manifest-type syntax058 tcf pass syntax bracket_expression
239 manus 82103 test across-loop-syntax syntax059 tcf pass syntax loop variant invariant across iteration
240 manus 83000 test object-test-expression syntax060 tcf pass syntax object_test
241 dhollen 83692 test constrained-generic-without-type syntax061 tcf fail syntax formal generic
242 alexk 84774 test loop-instruction-as-expression syntax062 tcf pass syntax loop instruction expression across iteration
243 dhollen 86564 test non-conforming-inheritance-empty-select syntax063 tcf fail syntax non-conforming
244 dhollen 86584 test multiple-semicolons-after-feature syntax064 tcf fail syntax
245 dhollen 86586 test non-decimal-percent-char-codes syntax065 tcf fail syntax
246 dhollen 86587 test number-end-without-break syntax066 tcf fail syntax
247 manus 71320
248 paulb 75568
249 manus 71320 -- 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 manus 74340 test conformance-inconsistency valid035 tcf fail validity conformance
287 manus 71320 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 manus 74340 test pointer-ref-conformance valid056 tcf pass validity conformance
309 manus 71320 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 manus 74340 test vkcn-sneak valid078 tcf pass validity
331 manus 71320 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 manus 74340 test expanded-generic-conformance valid098 tcf pass validity conformance
351 manus 71320 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 manus 72605 test procedure-in-tuple valid113 tcf pass validity tuple
364 manus 71320 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 manus 76899 test bogus-vdpr2 valid118 tcf fail validity
369 manus 71320 test nonconforming-generic-creation valid119 tcf pass validity
370 manus 82131 test unreferenced-locals valid120 tcf pass validity array2
371 manus 71320 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 manus 74340 test expanded-expanded-conformance valid145 tcf pass validity conformance
396 manus 71320 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 manus 72605 test valid-manifest-arrays-tuples valid163 tcf pass validity tuple
414 manus 71320 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 manus 72605 test named-tuple-creation valid178 tcf pass validity tuple
429 manus 74340 test formal-as-argument-no-conformance valid179 tcf pass validity conformance
430 manus 71320 test inherited-infix-type-checking-failure valid180 tcf pass validity
431     test inherited-agent-with-formal-in-assertions valid181 tcf pass validity
432 manus 74340 test expanded-conformance valid182 tcf pass validity conformance
433     test expanded-none-conformance valid183 tcf pass validity conformance
434 manus 71320 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 manus 72605 test named-tuple-in-parent-constraint-clauses valid206 tcf pass validity tuple
457 manus 71320 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 manus 74340 test named-tuple-convert-conformance valid213 tcf fail validity tuple conformance
464 manus 71320 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 manus 71538 test freezing-like-current valid218 tcf fail validity
469 manus 73278 test obsolete-warning-in-obsolete-feature valid219 tcf fail validity
470 manus 73971 test ancestor-anchor-type valid220 tcf pass validity
471 alexk 74084 test vtug2-not-reported-crash valid221 tcf pass validity
472 king 74159 test invalid-redefinition valid222 tcf pass validity
473 manus 76113 test void-safe-static-call valid223 tcf pass validity attached_types
474 dhollen 76249 test vrft-in-nested-tuple-type valid224 tcf fail validity tuple
475 dhollen 76251 test extra-vtcg-with-full-checking valid225 tcf pass validity
476 dhollen 76277 test reference-generic-expanded-actual valid226 tcf fail validity
477 dhollen 76298 test expanded-generic-reference-actual valid227 tcf fail validity
478 dhollen 76299 test bogus-vevi-on-invalid-inspect valid228 tcf fail validity
479 alexk 76407 test bogus-vevi-on-inspect-empty-interval valid229 tcf pass validity
480 dhollen 76310 test inline-c-external-without-alias valid230 tcf fail validity
481 alexk 76407 test validity-in-empty-case valid231 tcf pass validity
482 alexk 76731 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 alexk 76834 test selecting-renamed-feature valid238 tcf fail validity
489 dhollen 76844 test diamond-pattern-vmrc valid239 tcf fail validity
490 dhollen 76877 test explicit-attachment-mark-convert-fail valid240 tcf fail validity
491 alexk 83503 test indirect-type-evaluation valid241 tcf pass validity formal multiconstraint generic anchored_type
492 dhollen 77207 test undetected-vycp-vycq-with-generic valid242 tcf fail validity
493 manus 77624 test inherited-binary-with-generic valid243 tcf pass validity formal generic binary operator multiconstraint
494 dhollen 77379 test bogus-vuta-on-procedure-target valid244 tcf pass validity attached void_safe
495 dhollen 77509 test explicit-anchored-expanded-creation-type valid245 tcf pass validity
496 dhollen 77542 test inherited-conversion-to-like-current valid246 tcf pass validity
497 manus 77687 test undetected-vycq-error valid247 tcf pass validity conversion
498 manus 78314 test infix-prefix-alias-compatibility valid248 tcf pass validity
499 manus 78505 test assigner-validity-rules valid249 tcf pass validity
500 manus 78526 test assigner-wrong-vbac valid250 tcf pass validity
501 dhollen 78694 test bogus-veen-on-object-test-local valid251 tcf pass validity
502 dhollen 78723 test undetected-vuot-error valid252 tcf pass validity
503 alexk 79127 test equality-of-conforming-classes valid253 tcf pass validity equality conformance attached_types
504 manus 79550 test bogus-bit-vdrd valid254 tcf pass validity
505 manus 79563 test missing-vhpr-with-different-generic-derivation valid255 tcf pass validity
506 manus 79931 test wrong-vdpr-errors valid256 tcf pass validity
507     test wrong-manifest-array-attached-type valid257 tcf pass validity
508 manus 80044 test select-stable-attribute valid258 tcf pass validity
509 dhollen 80321 test precompilation-task-failure valid259 tcf fail validity
510 tedf 80428 test manifest_char_type valid260 tcf fail validity
511 alexk 80450 test inherited-generic-agent-argument valid261 tcf pass validity formal generic agent
512 tedf 80679 test conversion_without_binary_operator valid262 tcf pass validity
513 manus 82734 test manifest-real-to-real-32-conformance valid263 tcf pass validity ieee
514 dhollen 83782 test generic-rename-with-alias valid264 tcf fail validity generic rename
515 dhollen 83932 test variant-with-anchored-type valid265 tcf fail validity
516 manus 84153 test vtcg7-precondition-violation valid266 tcf fail validity
517 manus 84519 test bogus-vdrd2-error valid267 tcf fail validity
518 manus 85121 test crash-on-veen2a valid268 tcf pass validity
519 dhollen 85262 test bogus-vsrp3-with-require-else-false valid269 tcf pass validity
520 dhollen 85501 test spurious-vuot-in-assertion valid270 tcf pass validity object_test
521 manus 86300 test spurious-vweq-warning valid271 tcf pass validity
522 dhollen 86641 test non-conforming-missing-vmss3 valid272 tcf fail validity non-conforming
523 manus 71320
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 manus 72605 test error-in-manifest-array-tuple multierr005 tcf pass multi-errors tuple
530 manus 71320 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 manus 76899 test precondition-vdpr-fail-to-check-body multierr010 tcf pass multi-errors
535 dhollen 78749 test binary-op-fail-to-check-second-operand multierr011 tcf pass multi-errors
536 manus 71320
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 manus 73270 test obsolete-warning-not-repeated svalid005 tcf pass system-validity
543 manus 74905 test proper-conversion-validity svalid006 tcf pass system-validity
544     test svalid-conversion-with-formal svalid007 tcf pass system-validity
545 manus 74911 test svalid-conversion-export-error svalid008 tcf pass system-validity
546 manus 74962 test svalid-inherit-labeled-tuple svalid009 tcf pass system-validity
547 manus 74970 test svalid-inherit-labeled-tuple-assign svalid010 tcf pass system-validity
548 manus 75068 test conversion-take-deanchored-form svalid011 tcf pass system-validity conversion
549 manus 75893 test inherited-conversion-crash svalid012 tcf pass system-validity conversion
550 dhollen 76331 test unused-local-warning-not-repeated svalid013 tcf fail system-validity
551 manus 76525 test inline-agent-inherited-crash svalid014 tcf pass system-validity
552 manus 76560 test svalid-multi-constraint-inheritance svalid015 tcf pass system-validity multiconstraint
553 manus 76845 test svalid-conversion-validity-error svalid016 tcf pass system-validity
554 dhollen 76851 test svalid-inherited-invariant-not-checked svalid017 tcf fail system-validity
555 manus 81009 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 king 79759 test svalid-conversion-detachable svalid022 tcf fail system-validity conversion
559 manus 81009 test svalid-missing-recheck svalid023 tcf fail system-validity conversion
560 manus 81160 test inspect-inherited-static-access-missing-library svalid024 tcf pass system-validity
561 manus 81186 test svalid-inherited-agent-with-formal-switch svalid025 tcf pass system-validity agent
562 dhollen 82111 test svalid-redefined-precursor-not-checked svalid026 tcf fail system-validity
563 manus 82807 test svalid-conversion-forget svalid027 tcf fail system-validity conversion
564 dhollen 83781 test svalid-generic-rename-with-alias svalid028 tcf fail system-validity generic rename
565 manus 84009 test svalid-inherited-renamed-prefix svalid029 tcf fail system-validity rename
566 dhollen 85476 test svalid-generic-creation svalid030 tcf fail system-validity generic
567 manus 71320
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 manus 72745 test catcall-at-runtime-detection catcall006 tcf pass catcall
575 manus 72771 test wrong-catcall-reported-on-generic-expanded catcall007 tcf pass catcall
576 paulb 79850 test wrong-catcall-on-function-tuple catcall008 tcf fail catcall
577 manus 71320
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 manus 72324 test bool-string-to-bit-ref incr109 tcf pass incrementality ec_precondition
690 manus 71320 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 manus 72605 test none-then-tuple-generic incr141 tcf pass incrementality tuple
722 manus 71320 test make-root-expanded-freeze incr142 tcf pass incrementality
723 manus 72605 test change-expanded-tuple-bit incr143 tcf pass incrementality tuple
724 manus 71320 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 manus 76899 test vdpr-sneak incr162 tcf fail incrementality
743 manus 71320 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 manus 76899 test make-synonyms-vdpr-sneak incr167 tcf fail incrementality
748 manus 71320 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 manus 72841 test turn-off-multithreaded incr184 tcf fail incrementality multithreaded
764 manus 71320 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 manus 74340 test unexpand-class-no-conformance incr210 tcf fail incrementality conformance
790 manus 76899 test uninherit-any-vdpr2-sneak incr211 tcf fail incrementality
791 manus 71320 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 manus 76899 test vdpr-weasel incr224 tcf fail incrementality
803 manus 71320 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 manus 72841 test once-status-change incr235 tcf pass incrementality multithreaded
814 manus 71320 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 manus 74340 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 manus 71320 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 manus 71931 test partial-generic-addition-crash incr285 tcf pass incrementality
863 jfiat 72192 test change-export-create-generic-contraint-error-ignored incr286 tcf fail incrementality
864 manus 72372 test inherit-crash-after-update incr287 tcf pass incrementality
865 manus 72409 test large-formal-changes incr288 tcf pass incrementality
866 manus 72982 test change-system-crash incr289 tcf pass incrementality
867 manus 73587 test unresolved-c-externals incr290 tcf pass incrementality
868 manus 73593 test unresolved-c-externals-2 incr291 tcf pass incrementality
869 manus 73958 test bogus-vmrc-2 incr292 tcf pass incrementality
870 manus 73995 test inherited-code-checking-crash incr293 tcf fail incrementality
871 fivaa 74392 test invalid-root-procedure incr294 tcf pass incrementality
872 tedf 75406 test generic-replication-nc-crash incr295 tcf pass incrementality
873 manus 76101 test consecutive-error-fix-sequence-crash incr296 tcf pass incrementality
874 dhollen 76207 test add-empty-create-clause incr297 tcf fail incrementality
875 dhollen 76253 test change-expanded-class-name incr298 tcf pass incrementality
876 dhollen 76254 test add-feature-invalidate-generic-rename incr299 tcf fail incrementality
877 dhollen 76286 test generic-call-renamed-default-create incr300 tcf fail incrementality
878 dhollen 76306 test ececil-undefined-symbol incr301 tcf fail incrementality
879 dhollen 76309 test pattern-of-id-crash incr302 tcf fail incrementality
880 dhollen 76311 test add-default-create-invalid-vtec incr303 tcf fail incrementality
881 dhollen 76345 test change-base-library-to-base-safe incr304 tcf fail incrementality
882 dhollen 76355 test add-then-remove-vlec-via-generic incr305 tcf fail incrementality
883 dhollen 76362 test attempt-on-expanded-then-reference incr306 tcf fail incrementality
884 dhollen 76381 test formal-generic-constraint-rename-crash incr307 tcf fail incrementality
885 dhollen 76605 test generic-attach-mark-change-bogus-vevi incr308 tcf fail incrementality
886 dhollen 76722 test real-feature-id-crash incr309 tcf fail incrementality
887 dhollen 76735 test change-class-to-deferred-vtcg-sneak incr310 tcf fail incrementality
888 dhollen 76803 test remove-and-add-base-eats-memory incr311 tcf fail incrementality skip
889 dhollen 76872 test generate-final-c-body-crash incr312 tcf fail incrementality
890 dhollen 76874 test remove-convert-clause-undetected-vjar incr313 tcf fail incrementality
891 dhollen 76875 test add-inherit-clause-undetected-vycp incr314 tcf fail incrementality
892 dhollen 76885 test add-remove-expanded-mark-generic-class incr315 tcf fail incrementality
893 dhollen 76886 test make-parent-expanded-call-precursor incr316 tcf fail incrementality
894 dhollen 76895 test remove-convert-clause-crash incr317 tcf fail incrementality
895 dhollen 76905 test remove-convert-clause-bogus-vncp incr318 tcf fail incrementality
896 dhollen 76910 test execution-failure-after-vevi incr319 tcf fail incrementality
897 dhollen 77303 test switch-to-conforming-inheritance incr320 tcf fail incrementality
898 dhollen 77453 test eif-gen-conf-init-crash incr321 tcf fail incrementality
899 dhollen 77808 test function-to-attribute-refinalize incr322 tcf fail incrementality
900 manus 78557 test change-obsolete-syntax-to-transitional incr323 tcf pass incrementality
901 dhollen 78558 test vd71-called-syntax-error incr324 tcf pass incrementality
902 dhollen 78563 test c-syntax-error incr325 tcf pass incrementality
903 manus 78567 test override-checkin-crash incr326 tcf pass termination
904 dhollen 78673 test bogus-vfav incr327 tcf pass incrementality
905 dhollen 78685 test vfav-sneak incr328 tcf pass incrementality
906 dhollen 78755 test add-class-then-make-expanded incr329 tcf pass incrementality
907 dhollen 78784 test dead-code-removal-crash incr330 tcf pass incrementality
908 dhollen 78882 test return-value-type-mismatch incr331 tcf pass incrementality
909 dhollen 78886 test generate-wrapper-crash incr332 tcf pass incrementality
910 dhollen 78956 test ececil-undefined-symbol-2 incr333 tcf fail incrementality
911 dhollen 78960 test efrozen-undefined-symbol incr334 tcf fail incrementality
912 dhollen 78995 test ececil-undefined-symbol-3 incr335 tcf fail incrementality
913 dhollen 79100 test can-be-inlined-crash incr336 tcf fail incrementality
914 alexk 80558 if WINDOWS test shared-library-definition-update incr337 tcf pass incrementality windows dll
915 dhollen 81231 test bogus-construct-not-supported incr338 tcf fail incrementality
916 manus 81959 test bracket-trigger-c-compilation-error incr339 tcf pass incrementality c_compilation
917 dhollen 82033 test class-name-mismatch-internal-error incr340 tcf fail incrementality
918 dhollen 82049 test nonexistent-veen incr341 tcf fail incrementality
919 dhollen 82058 test formulate-inherited-assertions-crash incr342 tcf fail incrementality
920 dhollen 82059 test feature_b-process-crash incr343 tcf fail incrementality
921 dhollen 82068 test new-generic-deriv-attribute-agent incr344 tcf fail incrementality
922 dhollen 82073 test supports-step-in-crash incr345 tcf fail incrementality
923 dhollen 82075 test is-expanded-crash incr346 tcf fail incrementality
924 alexk 82133 test class-removal-crash-freeze incr347 tcf fail incrementality
925 dhollen 82359 test melted-agent-creation-crash incr348 tcf fail incrementality
926 manus 82377 test storable-version-update incr349 tcf fail incrementality reflection storable
927 manus 83160 test formal-creation-crash incr350 tcf pass incrementality
928 manus 83161 test inline-agent-invariant-crash incr351 tcf pass incrementality agents
929 alexk 83503 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 dhollen 83561 test resume-vlec-eat-memory incr355 tcf fail incrementality expanded manual
933 dhollen 83629 test qat-is-expanded-crash incr356 tcf fail incrementality anchored_type
934 dhollen 83632 test change-expanded-anchor-type incr357 tcf fail incrementality anchored_type
935 dhollen 83639 test qat-is-expanded-crash-2 incr358 tcf fail incrementality anchored_type
936 dhollen 83644 test qat-is-expanded-crash-3 incr359 tcf fail incrementality anchored_type
937 dhollen 83648 test bogus-vtcg-2 incr360 tcf fail incrementality generic anchored_type
938 dhollen 83649 test formal-entry-crash incr361 tcf fail incrementality generic anchored_type
939 dhollen 83674 test qat-nonexistent-veen incr362 tcf fail incrementality generic anchored_type
940 dhollen 83676 test qat-static-type-id-crash incr363 tcf fail incrementality generic anchored_type
941 dhollen 83677 test qat-resume-veen-compiler-error incr364 tcf fail incrementality generic anchored_type
942 dhollen 83693 test renamed-type-crash incr365 tcf fail incrementality generic
943 jfiat 84207 test once-per-object-add-descendant incr366 tcf pass incrementality once
944 dhollen 83796 test change-constraint-rename-crash incr367 tcf fail incrementality generic anchored_type
945 dhollen 83823 test qat-change-parent-actual-generic incr368 tcf fail incrementality generic anchored_type
946 dhollen 83860 test qat-veen-instead-of-vtat incr369 tcf fail incrementality anchored_type
947 dhollen 83877 test qat-constrained-type-in-crash-2 incr370 tcf fail incrementality anchored_type
948 dhollen 83977 test rename-routine-error incr371 tcf fail incrementality
949     test qat-finalize-panic-cascade incr372 tcf fail incrementality
950 dhollen 83991 test finalize-feature-name-crash incr373 tcf fail incrementality
951 dhollen 83994 test static-type-id-crash incr374 tcf fail incrementality
952 dhollen 84056 test rout-entry-crash incr375 tcf fail incrementality
953 jfiat 84207 test finalize-once-per-object-wrong incr376 tcf pass incrementality
954 dhollen 84082 test retry-missing-library-file incr377 tcf fail incrementality
955 manus 84170 test saving-generic-class-crash incr378 tcf pass incrementality
956 dhollen 84187 test change-target-inheritance incr379 tcf fail incrementality
957 dhollen 84196 test config-remove-root-element incr380 tcf fail incrementality
958 dhollen 84202 test remove-base-library-add-back incr381 tcf fail incrementality
959 dhollen 84217 test disk-item-io-error incr382 tcf fail incrementality
960 dhollen 84219 test compiler-panic incr383 tcf fail incrementality
961 jfiat 84230 test descriptor-list-put-crash incr384 tcf pass incrementality
962 dhollen 84246 test deep-twin-agent-infinite-loop incr385 tcf fail incrementality manual
963 dhollen 84289 test conform-to-precondition-violation incr386 tcf fail incrementality
964 dhollen 84293 test disk-item-io-error-2 incr387 tcf fail incrementality
965 dhollen 84305 test static-type-id-crash-2 incr388 tcf fail incrementality
966 dhollen 84325 test remove-occurrence-precondition-violation incr389 tcf fail incrementality
967 dhollen 84326 test constant-suppliers-crash incr390 tcf fail incrementality
968 dhollen 84330 test rout-entry-crash-2 incr391 tcf fail incrementality
969 dhollen 84331 test is-less-equal-postcondition-violation incr392 tcf fail incrementality
970 dhollen 84332 test once-per-object-change-body incr393 tcf fail incrementality
971 dhollen 84339 test add-vsrt4-to-expanded-then-remove incr394 tcf fail incrementality
972 dhollen 84351 test same-generic-derivation-as-crash incr395 tcf fail incrementality
973 dhollen 84360 test new-poly-table-crash incr396 tcf fail incrementality
974 dhollen 84362 test once-per-object-change-expansion incr397 tcf fail incrementality once
975 dhollen 84384 test once-per-object-remove-constraint incr398 tcf fail incrementality once
976 dhollen 84389 test once-per-object-change-inheritance incr399 tcf fail incrementality once
977 dhollen 84391 test qat-change-constant-anchor-type incr400 tcf fail incrementality anchored_type
978 manus 85048 test renaming-class-in-constraint-crash incr401 tcf fail incrementality renaming
979 dhollen 85253 test fix-expanded-generic-vlec-infinite-loop incr402 tcf fail incrementality expanded manual
980 dhollen 85257 test qat-change-agent-target-type incr403 tcf fail incrementality anchored_type
981 dhollen 85265 test once-per-object-link-failure incr404 tcf fail incrementality once
982 dhollen 85294 test is-expanded-crash-2 incr405 tcf fail incrementality
983 dhollen 85303 test once-per-object-add-attributes incr406 tcf fail incrementality once
984 dhollen 85408 test once-per-object-to-attribute incr407 tcf fail incrementality once
985 dhollen 85499 test non-conforming-remove-precondition incr408 tcf fail incrementality non-conforming
986 dhollen 85500 test has-stable-attribute-crash incr409 tcf fail incrementality stable attached_types
987 dhollen 85504 test type-to-create-crash incr410 tcf fail incrementality attached_types
988 dhollen 85506 test rout-entry-crash-3 incr411 tcf fail incrementality
989 dhollen 85508 test create-qualified-explicit-crash incr412 tcf fail incrementality anchored_types
990 manus 85534 test adding-removing-transient incr413 tcf fail incrementality transient
991 manus 86364 test removing-descendant-crash incr414 tcf fail incrementality
992     test system-change-crash incr415 tcf fail incrementality
993 manus 86954 test recompilation-forces-freeze incr416 tcf fail incrementality
994 manus 71320
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 manus 83583 test chained-assertion-melt melt007 tcf pass melting assertion
1006 manus 71320 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 manus 83583 test invalid-assertion-level melt013 tcf pass melting assertion
1012 manus 71320 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 manus 78057 test melted-profile-system melt060 tcf fail melting profile
1059 manus 71320 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 manus 80390 test special-expanded-creation melt070 tcf pass melting special
1069 manus 78044 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 manus 82064 test nan-comparison melt080 tcf pass melting execution ieee
1079 manus 80390 test melted-special-creation-crash melt081 tcf pass melting execution special
1080 manus 78044 test melted-external-call melt082 tcf pass melting execution
1081 dhollen 76854 test melted-agent-call-on-void-target melt083 tcf fail execution melting
1082 dhollen 77082 test inherited-like-current-object-test melt084 tcf fail execution melting
1083 dhollen 77336 test melted-anchored-precursor-object-test melt085 tcf fail execution melting
1084 dhollen 77365 test melted-anchored-precursor-in-tuple melt086 tcf fail execution melting
1085 dhollen 77383 test redefined-once-with-alt-precondition melt087 tcf fail execution melting
1086 dhollen 77459 test character_32-constant melt088 tcf fail execution melting
1087 dhollen 77527 test alt-precondition-call-on-void-target melt089 tcf fail execution melting
1088 dhollen 77560 test melted-object-test-with-anchored-none melt090 tcf fail execution melting
1089 manus 79146 test melted-creation-crash melt091 tcf pass execution melting
1090 manus 78120 test melted-agent-exception-crash melt092 tcf fail execution melting agents
1091 manus 78180 test raise-exception-inspect-branch melt093 tcf fail execution melting
1092 dhollen 78621 test dollar-with-expanded-attribute-in-generic melt094 tcf fail execution melting
1093 dhollen 78630 test wrong-line-number-in-trace melt095 tcf fail execution melting
1094 manus 79547 test bad-melted-infix melt096 tcf pass execution melting
1095 manus 79828 test new-type-type-melted melt097 tcf pass execution melting
1096 dhollen 81936 test melted-type-of-generic melt098 tcf pass execution melting reflection
1097 tedf 83223 test melted-tuple-expression-order melt099 tcf pass execution melting tuple
1098 dhollen 83859 test melted-creation-constrained-generic melt100 tcf fail execution melting generic
1099 dhollen 84341 test melted-once-creation-of-generic melt101 tcf fail execution melting generic
1100 manus 86986 test melted-special-creation-crash-2 melt102 tcf pass melting execution special
1101 manus 71320
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 manus 72605 test tuple-expanded-and-integer freez014 tcf pass freezing tuple
1118 manus 71320 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 manus 72605 test tuple-i16-plus-i8 freez019 tcf pass freezing tuple
1123 manus 71320 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 manus 72463 test freeze-with-conversion freez028 tcf pass freezing
1132 fivaa 74341 test object-test-with-generic-type freez029 tcf pass freezing
1133 dhollen 76838 test invariant-qualified-call-on-constant freez030 tcf fail freezing
1134 dhollen 82110 test expanded-like-current-void-precursor freez031 tcf fail freezing
1135 dhollen 83975 test boolean-hash-code freez032 tcf fail freezing
1136 manus 71320
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 manus 72833 test finalize-inline-precursor final015 tcf pass finalizing inlining
1154 manus 71320 test finalize-array-opt-2 final016 tcf pass finalizing
1155     test finalize-delayed-deferred-call final017 tcf pass finalizing
1156 manus 72833 test finalize-inline-none-proc final018 tcf pass finalizing inlining
1157     test inline-generic-assign-attempt final019 tcf pass finalizing inlining
1158 manus 73722 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 manus 71320 test finalize-skip-invariant final024 tcf fail finalizing
1163 manus 72833 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 manus 71320 test vicious-finalize-bug final028 tcf pass finalizing
1167 manus 72833 test inline-arrayed-list-expanded final029 tcf pass finalizing inlining
1168     test inline-void-argument final030 tcf pass finalizing inlining
1169 manus 71320 test precursor-call-current-instead-of-precursor final031 tcf pass finalizing
1170     test finalize-manifest-type-expr final032 tcf pass finalizing
1171 manus 72833 test inline-once-string final033 tcf pass finalizing inlining
1172     test inline-deferred-routine-with-only-one-implementation final034 tcf pass finalizing inlining
1173 manus 71320 test dynamic-deferred-routine-implemented-in-generic final035 tcf pass finalizing
1174 manus 72833 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 manus 71320 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 manus 72324 test oms-ec-precondition-violation final041 tcf pass finalizing ec_precondition
1180 manus 72833 test inlining-finalization-crash final042 tcf pass finalizing inlining
1181     test inlining-on-named-tuple-crash final043 tcf pass finalizing tuple inlining
1182 manus 72661 test wrong-dynamic-dispatch-on-generic final044 tcf pass finalizing
1183 manus 72699 test change-generic-finalization-crash final045 tcf pass finalizing
1184 manus 72700 test polymorphic-call-leak final046 tcf fail finalizing
1185 manus 72833 test inlining-with-anchor final047 tcf pass finalizing inlining
1186     test inlining-deferred-from-other-branch final048 tcf pass finalizing inlining
1187 manus 72857 test polymorphic-call-on-formal-seed final049 tcf pass finalizing
1188 manus 72893 test inlining-with-anchor-2 final050 tcf pass finalizing inlining
1189 manus 72909 test wrong-polymorphic-wrapper final051 tcf pass finalizing
1190 manus 73048 test wrong-call-when-merging final052 tcf pass finalizing
1191     test wrong-polymorphic-wrapper-2 final053 tcf pass finalizing
1192 manus 73109 test wrong-polymorphic-external-wrapper final054 tcf pass finalizing
1193 manus 73322 test inlining-with-anchor-3 final055 tcf pass finalizing inlining
1194 manus 73328 test inlining-with-formal final056 tcf pass finalizing inlining
1195 manus 73393 test inlining-wrong-argument-reuse final057 tcf pass finalizing inlining
1196 manus 73403 test inlining-missing-gc-hooks final058 tcf pass finalizing inlining
1197 manus 73506 test inlining-with-inline-externals final059 tcf pass finalizing inlining
1198 manus 73722 test inlining-with-formal-2 final060 tcf pass finalizing inlining
1199 manus 73853 test inlining-with-less-formals final061 tcf pass finalizing inlining
1200     test inlining-with-less-formals-2 final062 tcf pass finalizing inlining
1201 manus 74199 test unresolved-c-externals-on-inline-agents final063 tcf pass finalizing
1202 manus 74994 test bad-c-inline-agent final064 tcf pass finalizing agents
1203 manus 75101 test inline-expanded-return final065 tcf pass finalizing inlining
1204 manus 75177 test wrong-generic-type-generation final066 tcf pass finalizing inlining
1205 manus 75422 test inline-agent-crash-final final067 tcf pass finalizing agents
1206 alexk 76066 test inlined-generic-expanded-type final068 tcf pass finalizing inlining expanded generic
1207 manus 81898 test change-actual-generic-to-expanded final069 tcf fail finalizing expanded generic incrementality multithreaded
1208 dhollen 76276 test finalize-expanded-unref-local final070 tcf fail finalizing expanded
1209 dhollen 76285 test finalize-all-classes-true final071 tcf fail finalizing
1210 dhollen 76297 test finalize-self-init-attribute final072 tcf fail finalizing
1211 dhollen 76634 test finalize-invariant-wrong-class-name final073 tcf fail finalizing
1212 dhollen 76640 test finalize-bogus-invariant-violation final074 tcf fail finalizing
1213 dhollen 76908 test finalize-external-creation-procedure final075 tcf fail finalizing
1214 manus 86356 test finalize-inline-attribute-body final076 tcf fail finalizing inlining
1215 manus 77814 test finalize-creation-expression-corruption final077 tcf pass finalizing
1216 manus 86356 test finalize-inline-precursor-2 final078 tcf fail finalizing multiconstraint inlining
1217 manus 78754 test finalize-attribute-access-crash final079 tcf pass finalizing
1218 manus 86356 test finalize-inline-attribute-body-2 final080 tcf pass finalizing inlining
1219     test finalize-inline-external-redef-constant final081 tcf pass finalizing inlining
1220 dhollen 79048 test finalize-inherited-agent-redef-routine final082 tcf pass finalizing
1221 manus 86356 test finalize-inline-with-generic final083 tcf pass finalizing inlining
1222 manus 79963 test finalize-wrong-type final084 tcf pass finalizing
1223 manus 80982 test finalize-min-used-crash final085 tcf pass finalizing
1224 manus 81739 test finalize-object-test-side-effects final086 tcf pass finalizing
1225 manus 86356 test finalize-inline-merged-routine final087 tcf fail finalizing inlining
1226     test finalize-inline-check-void-target final088 tcf fail finalizing inlining
1227 dhollen 83590 test finalize-qat-object-test final089 tcf fail finalizing anchored_type
1228 manus 83619 test finalize-attached-dcr-missing final090 tcf pass finalizing
1229 manus 86356 test finalize-inline-same-generic-derivation-crash final091 tcf fail finalizing inlining
1230 dhollen 84002 test finalize-c-code-redeclared-identifier final092 tcf fail finalizing
1231 dhollen 84058 test finalize-create-expanded-generic final093 tcf fail finalizing
1232 manus 86322 test finalize-static-access-multicon-formal final094 tcf fail finalizing multiconstraint
1233 dhollen 85266 test finalize-generic-once-per-object final095 tcf fail finalizing once
1234 dhollen 85505 test finalize-qat-object-test-2 final096 tcf fail finalizing anchored_type
1235 manus 86266 test inline-deferred-with-one-implementation final097 tcf fail finalizing inlining
1236 manus 86290 test inline-with-generic-argument final098 tcf fail finalizing inlining
1237 manus 86356 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 dhollen 86359 test finalize-wrong-generating-type final104 tcf fail finalizing expanded
1243 manus 86360 test inlining-parent-with-less-formals final105 tcf fail finalizing inlining
1244 manus 86366 test inlining-in-parent-with-child-with-less-formals final106 tcf fail finalizing inlining
1245 dhollen 86382 test finalize-argument-anchors-formal final107 tcf fail finalizing anchored_type
1246 dhollen 86425 test finalize-external-invariant-skipped final108 tcf fail finalizing assertions external
1247 dhollen 86600 test inline-manifest-type final109 tcf fail finalizing
1248 dhollen 86725 test profile-once-per-process-function final110 tcf fail finalizing
1249 manus 71320
1250     -- Runtime
1251 manus 74095 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 manus 71635 test gc-expanded-allocating-memory-in-special runtime004 tcf pass runtime expanded special
1255 manus 81926 if not DOTNET test adopt-wean-freeze-unfreeze-multithreaded runtime005 tcf pass runtime multithreaded
1256 manus 73177 test gc-expanded-allocating-memory-in-special-2 runtime006 tcf pass runtime expanded special
1257 manus 74095 test gc-tracking-003 runtime007 tcf pass runtime
1258 manus 81898 test memory_leak_with_invariant_on runtime008 tcf pass runtime multithreaded
1259 manus 74095 test missing-marking-with-no-gc runtime009 tcf pass runtime
1260 manus 75873 test zero-sized-objects-slowdown runtime010 tcf pass runtime
1261 manus 76924 test tuple-special-twin-bug runtime011 tcf pass runtime special
1262 manus 77523 test overflow-special-resizing runtime012 tcf pass runtime special manual
1263 manus 85302 test overflow-special-expanded-resizing runtime013 tcf pass runtime special expanded manual
1264 alexk 80480 if WINDOWS test console-in-windows-dll runtime014 tcf pass runtime windows console input output dll
1265 alexk 80873 test array-allocation-failure runtime015 tcf pass runtime special expanded array memory allocation exception
1266 manus 82950 test special-copy-data runtime016 tcf pass runtime special memory
1267 manus 85003 test weak-reference runtime017 tcf pass runtime weak_reference
1268 manus 71320
1269 manus 72787 -- Thread
1270 tedf 73795 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 tedf 73796 test creating-string-runtime-panic thread004 tcf pass multithreaded
1274 manus 78207 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 manus 78211 test exception-in-thread-failure thread009 tcf pass multitheaded
1279 manus 79769 test nested-thread-exit-failure-2 thread010 tcf pass multithreaded
1280 manus 81993 test deadlock-when-not-joining thread011 tcf fail multithreaded
1281 manus 81988 test deadlock-when-thread-not-exiting thread012 tcf pass multithreaded
1282 manus 81844 test synchronization-objects thread013 tcf pass multithreaded
1283 manus 82177 test launching-n-threads-on-same-object thread014 tcf pass multithreaded
1284 manus 82771 test join-with-timeout-failure thread015 tcf pass multithreaded
1285 manus 84572 test multithreaded-bogus-catcall thread016 tcf pass multithreaded
1286 manus 85990 test main-thread-terminates-before-child thread017 tcf pass multithreaded
1287 king 86878 test shared-mutex-hang thread018 tcf pass multithreaded manual
1288 manus 86888 test thread-join-crash thread019 tcf pass multithreaded
1289 manus 72787
1290 manus 71320 -- 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 manus 72833 test inline-external-root-proc exec048 tcf pass execution inlining
1340 manus 71320 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 manus 83583 test skip-deferred-feat-assertions exec056 tcf fail execution assertion
1348 manus 71320 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 dhollen 82516 test deep-exception-in-rescue exec070 tcf pass execution skip
1362 manus 71320 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 manus 83583 test retry-forget-in-assertion exec084 tcf pass execution assertion
1376 manus 71320 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 manus 72605 test freeze-expanded-tuple-attr exec105 tcf pass execution tuple
1397 manus 71320 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 manus 72841 test multithreaded-string-blank exec120 tcf pass execution multithreaded
1412 manus 71320 test assign-attempt-affects-source exec121 tcf pass execution
1413     test wrong-generating-type exec122 tcf pass execution
1414 manus 72605 test long-tuple-corrupts-memory exec123 tcf pass execution tuple
1415 manus 71320 test replace-substring-with-self exec124 tcf pass execution
1416     test generic-generating-type exec125 tcf fail execution
1417 manus 72605 test create-tuple-of-tuples exec126 tcf fail execution tuple
1418 manus 71320 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 manus 72605 test agent-lighter-tuple-arg exec133 tcf pass execution tuple
1425 manus 85544 test insert-hash-table-zero exec134 tcf pass execution table
1426 manus 76873 test store-expanded-retrieve-wrong exec135 tcf pass execution storable
1427     test store-expanded-retrieve-dies exec136 tcf pass execution storable
1428 manus 71320 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 manus 80390 test is-special-any-type-lies exec143 tcf pass execution special
1435 manus 76873 test indep-store-big-array exec144 tcf pass execution storable
1436 manus 71320 test recursive-once-create-result exec145 tcf pass execution
1437     test frozen-floor-ceiling exec146 tcf pass execution
1438 manus 86360 test special-of-expanded exec147 tcf pass execution special finalization
1439 manus 74340 test generic-conformance-two-params exec148 tcf pass execution conformance
1440 manus 71320 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 manus 72841 test multithreaded-memory-leak exec169 tcf pass execution multithreaded
1461 manus 71320 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 manus 72605 test assign-attempt-anchored-tuple exec176 tcf pass execution tuple
1468 manus 71320 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 manus 80390 test special-expanded-access exec183 tcf pass execution special
1475 manus 72841 test once-manifest-string exec184 tcf pass execution multithreaded
1476 manus 71320 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 manus 72841 test global-once-feature exec189 tcf pass execution multithreaded
1481     test once-in-generic-class exec190 tcf pass execution multithreaded
1482 manus 78207 test once-with-exception exec191 tcf pass execution multithreaded
1483 manus 71320 test system-return-code exec192 tcf pass execution
1484     test catch-stack-overflow exec193 tcf pass execution
1485 manus 83583 test thread-assertion-monitoring exec194 tcf pass execution multithreaded assertion
1486 manus 71320 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 manus 72605 test tuple-real-double exec201 tcf pass execution tuple
1493 manus 71320 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 manus 72605 test result-lost-in-manifest-arrays-tuples exec207 tcf pass execution tuple
1499 manus 71320 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 manus 72605 test named-tuple-test exec224 tcf pass execution tuple
1516 manus 71320 test expanded-generic-use exec225 tcf pass execution expanded generic
1517 manus 72605 test generic-named-tuple exec226 tcf pass execution tuple
1518 manus 71320 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 manus 83583 test assertion-inline-agents-with-locals exec233 tcf pass execution assertion
1525 manus 71320 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 manus 83583 test name-renaming-with-inline-agent-assertion exec238 tcf pass execution assertion
1530 manus 71320 test correct-vpir-violation exec239 tcf pass execution
1531     test inline-agent-of-generic-type exec240 tcf pass execution
1532 manus 83583 test agent-in-inherited-assertion exec241 tcf pass execution assertion
1533 manus 71320 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 manus 82064 test nan-min-max exec248 tcf pass execution ieee
1540 manus 71320 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 manus 72605 test tuple-with-basic-type exec268 tcf pass execution generic basic tuple
1560 manus 71320 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 manus 75661 test agent-for-expanded-derivation exec274 tcf pass execution expanded generic agents
1566 manus 71320 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 manus 80390 test special-base-address exec279 tcf fail execution expanded special
1571 manus 71320 test default-create-not-called exec280 tcf pass execution
1572     test not-equal-operator-failure exec281 tcf pass execution expanded
1573 manus 71707 test all-defaults-failure exec282 tcf fail execution expanded
1574 manus 80390 test clear-all-on-special exec283 tcf fail execution expanded special
1575 manus 72809 test wrong-expanded-generic-type exec284 tcf fail execution expanded
1576 manus 73701 test wrong-polymorphic-call-with-select exec285 tcf pass execution
1577 manus 75143 test wrong-formal-type-specification exec286 tcf pass execution
1578 manus 75293 test conversion-for-tuple-assignment-crash exec287 tcf pass execution
1579 manus 75650 test wrong-formal-type-local-initialization exec288 tcf pass execution
1580 manus 76021 test wrong-finalized-invariant-check exec289 tcf pass execution finalizing
1581 manus 76041 test wrong-optimization-of-as-attached exec290 tcf pass execution finalizing
1582 manus 76044 test crash-on-divisible exec291 tcf pass execution finalizing
1583 manus 76140 test wrong-inherited-formal-type exec292 tcf pass execution finalizing attached_types
1584 dhollen 76238 test access-by-label-on-void-tuple exec293 tcf fail execution
1585 dhollen 76289 test self-init-attribute-non-void-safe exec294 tcf fail execution
1586 dhollen 76290 test check-invariant-attached-by-default exec295 tcf fail execution
1587 dhollen 76304 test self-init-attribute-void-safe exec296 tcf fail execution
1588 dhollen 76325 test check-invariant-void-safe exec297 tcf fail execution
1589 dhollen 76326 test out-wrong-for-natural-attribute exec298 tcf fail execution
1590 manus 76327 test invariant-crash-with-attached-parent exec299 tcf pass execution
1591 dhollen 76329 test deep-twin-expanded-type exec300 tcf fail execution
1592 dhollen 76346 test attempt-on-type-none exec301 tcf fail execution
1593 dhollen 76396 test self-init-attribute-call-to-precursor exec302 tcf fail execution manual
1594 manus 82064 test out-on-nan-violates-invariant exec303 tcf fail execution ieee
1595 dhollen 76780 test operations-on-numeric-generic exec304 tcf fail execution
1596 dhollen 77118 test expanded-object-test-infinite-recursion exec305 tcf fail execution manual
1597 dhollen 77418 test expanded-generic-call-on-void-target exec306 tcf fail execution
1598 dhollen 77500 test bogus-catcall-on-basic-type-agent exec307 tcf fail execution catcall
1599 dhollen 77541 test conversion-from-basic-through-any exec308 tcf fail execution
1600 dhollen 77559 test expanded-object-test-creates-objects exec309 tcf fail execution
1601 manus 81898 test out-on-long-attribute-buffer-overflow exec310 tcf fail execution multithreaded
1602 manus 78057 test profile-with-invariant exec311 tcf fail execution profile
1603 dhollen 78669 test small-eif-memory-scavenge exec312 tcf pass execution
1604 dhollen 78815 test static-access-on-like-current exec313 tcf pass execution
1605 dhollen 78875 test manifest-type-expr-generating-type exec314 tcf pass execution
1606 manus 79460 test manifest-type-singletons exec315 tcf pass execution
1607 manus 79831 test wrong-type-creation exec316 tcf fail execution
1608 tedf 79966 test long-string-to-double exec317 tcf pass execution
1609 manus 81280 test ref-exp-polymorphism exec318 tcf fail execution
1610 alexk 81376 test loop-expression-smoke-test exec319 tcf pass loop expression
1611 dhollen 81673 test expanded-deep-physical-size exec320 tcf fail execution
1612 alexk 81784 test check-instruction-smoke-test exec321 tcf pass execution check instruction exception
1613 manus 82064 test ieee-arithmetic exec322 tcf pass execution ieee
1614 manus 82417 test eiffel-ieee-comparison exec323 tcf pass execution ieee
1615     test do-nothing-optimization exec324 tcf pass execution
1616 manus 83583 test assertion-incorrect-type exec325 tcf pass execution assertion
1617 manus 83507 test ieee-min-max-values exec326 tcf pass execution ieee
1618 manus 83601 test assertion-reset-with-check exec327 tcf pass execution assertion
1619 dhollen 83587 test default-on-expanded-string exec328 tcf fail execution expanded manual
1620 manus 83621 test ieee-abs-minus-zero exec329 tcf pass execution ieee
1621 dhollen 84245 test catcall-in-expanded-class-invariant exec330 tcf fail execution catcall
1622 dhollen 84295 test once-string-seg-fault exec331 tcf fail execution
1623 dhollen 84368 test object-test-wrong-with-expanded-generic exec332 tcf fail execution
1624 manus 84689 test tracing-memory-corruption exec333 tcf pass execution
1625 manus 85133 test special-make-empty exec334 tcf pass execution special
1626 manus 85194 test standard-twin-on-formal exec335 tcf pass execution
1627 dhollen 85314 test gc-after-rescue-in-once exec336 tcf fail execution once
1628 dhollen 85315 test gc-after-rescue-in-attribute exec337 tcf fail execution
1629 dhollen 85348 test compare-generic-to-basic exec338 tcf fail execution
1630 manus 85351 test standard-twin-correctness exec339 tcf pass execution
1631 manus 86379 test plus-with-mixed-types exec340 tcf pass execution
1632 manus 86380 test static-assigner exec341 tcf pass execution
1633 dhollen 86388 test generating-type-on-typed-pointer exec342 tcf pass execution expanded generic
1634 manus 86700 test deep-twin-control-c exec343 tcf pass execution manual
1635 manus 71320
1636 jfiat 82781 -- Once specific
1637 manus 71320
1638 dhollen 83709 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 jfiat 84152 test once-per-object-called-via-precursor once006 tcf pass once
1644 jfiat 84123 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 dhollen 84195 test once-per-object-anchored-or-generic once011 tcf pass once
1649 dhollen 84244 test once-per-object-returning-expanded once012 tcf fail once
1650 dhollen 84329 test once-per-object-precursor-descendant once013 tcf fail once
1651 dhollen 84382 test once-per-object-inherited-chained once014 tcf fail once
1652 dhollen 84386 test once-per-object-callee-exception once015 tcf fail once
1653 dhollen 85304 test once-per-object-recursive-call once016 tcf fail once
1654 dhollen 85305 test once-per-object-rescue-gc once017 tcf fail once
1655 dhollen 85331 test once-per-object-nonconforming-inheritance once018 tcf fail once
1656 dhollen 85424 test once-per-object-redefined-precursor once019 tcf fail once
1657 dhollen 85519 test once-per-object-nonconforming-2 once020 tcf fail once non-conforming
1658 dhollen 85572 test once-per-object-generic-precursor once021 tcf fail once
1659 jfiat 82781
1660 manus 71320 -- 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 manus 72833 test finalize-big-inline-size term065 tcf pass termination inlining
1722     test finalize-inline-remove-dead term067 tcf pass termination inlining
1723 manus 71320 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 manus 72833 test finalize-inline-strip-expr term074 tcf pass termination inlining
1729 manus 71320 test assign-creation-expression term075 tcf pass termination
1730     test explicit-bit-creation term076 tcf pass termination
1731 manus 72833 test finalize-inline-array-expanded term077 tcf pass termination inlining
1732     test finalize-inline-small-classes term078 tcf pass termination inlining
1733 manus 71320 test simple-explicit-generic-create term079 tcf pass termination
1734 manus 72605 test generic-constrained-by-tuple term080 tcf pass termination tuple
1735 manus 71320 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 manus 72833 test finalize-inline-delayed-call term085 tcf pass termination inlining
1740 manus 71320 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 manus 72833 test finalize-inline-infix-external term096 tcf pass termination inlining
1751 manus 71320 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 manus 72833 test inline-numeric-plus-numeric term117 tcf pass termination inlining
1770 manus 71320 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 manus 74340 test manifest-array-to-array-conformance term127 tcf fail termination conformance
1780 manus 71320 test infinite-loop-expanded-generics term128 tcf fail termination manual
1781     test create-generic-result-any term129 tcf pass termination
1782 manus 72833 test inline-routine-with-formal-conversion term130 tcf pass termination inlining
1783 manus 71320 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 manus 80390 test special-conformance term139 tcf pass termination conformance special
1792 manus 71320 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 manus 72436 test crash-for-redefined-feature-with-wrong-anchor term153 tcf fail termination
1806 manus 72603 test agent-return-type-crash term154 tcf pass termination
1807 manus 72905 test nested-like-code-generation-crash term155 tcf pass termination
1808 manus 73682 test assertion-regeneration-crash term156 tcf pass termination
1809 manus 73938 test vkcn-error-reporting-failure term157 tcf pass termination
1810 manus 73943 test invalid-case-crash term158 tcf pass termination
1811 manus 75046 test conversion-in-closed-argument-crash term159 tcf pass termination
1812 manus 75091 test formal-generic-creation-crash term160 tcf pass termination
1813 manus 75154 test array-with-anchor-crash term161 tcf pass termination dotnet
1814 manus 75173 test crash-when-calling-out-on-a-formal term162 tcf pass termination dotnet
1815 fivaa 75274 test bad_formal_types term163 tcf pass validity
1816 manus 76845 test crash-in-conversion-clause term164 tcf pass validity
1817 manus 76091 test crash-in-checking-inherited-code term165 tcf pass validity
1818 dhollen 76257 test catcall-and-full-class-checking term166 tcf fail termination
1819 dhollen 76292 test single-constraint-with-renaming-crash term167 tcf fail termination
1820 dhollen 76294 test inline-agent-with-attribute-body term168 tcf fail termination
1821 alexk 76626 test self-init-attribute-returning-current term169 tcf pass termination self_init void_safe
1822 manus 76359 test self-init-attribute-crash term170 tcf pass termination
1823 dhollen 76387 test keyword-in-multi-constraint-generic-crash term171 tcf fail termination
1824 dhollen 76837 test catcall-crash-is-covariant-to term172 tcf fail termination catcall
1825 dhollen 76900 test conversion-query-constant-attribute term173 tcf fail termination convert
1826 dhollen 77492 test create-generic-constrained-by-none term174 tcf fail termination
1827 dhollen 77590 test create-constrained-generic-crash term175 tcf fail termination
1828 manus 78557 test remove-syntax-error-crash term176 tcf pass termination
1829 manus 78530 test argument-anchors-formal-crash term177 tcf pass termination
1830 manus 86699 test small-eif-stack-chunk term178 tcf pass termination
1831 manus 78557 test inherit-inline-agent-with-formal term179 tcf pass termination
1832 manus 80398 test infix-prefix-alias-compatibility-crash term180 tcf pass termination
1833 dhollen 82261 test create-constrained-generic-crash-2 term181 tcf fail termination
1834 dhollen 83646 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 dhollen 83717 test create-generic-with-rename term184 tcf fail termination generic
1837 alexk 83851 test generic-derivation-constraint term185 tcf pass termination formal generic constraint
1838 dhollen 83930 test across-keyword-as-feature-name term186 tcf fail termination
1839 dhollen 83967 test chained-generic-constraints term187 tcf fail termination formal generic constraint
1840 dhollen 84025 test static-access-on-generic-in-inspect term188 tcf fail termination formal generic
1841 manus 84069 test vmfn-reporting-crash term189 tcf fail termination validity
1842 dhollen 84292 test conform-to-type-precondition-violation term190 tcf fail termination validity
1843 dhollen 84327 test generated-id-assertion-violation term191 tcf fail termination multiconstraint expanded
1844 dhollen 84340 test skeleton-adapted-in-crash term192 tcf fail termination
1845 dhollen 84361 test is-valid-for-class-precondition term193 tcf fail termination
1846 manus 85042 test is-less-equal-postcondition-violation-2 term194 tcf fail termination
1847     test testing-class-removal-crash term195 tcf pass termination
1848 dhollen 85203 test across-with-constrained-generic-crash term196 tcf fail termination
1849 dhollen 85209 test shared-library-with-generic-root term197 tcf fail termination
1850 dhollen 85212 test iteration-over-inline-agent term198 tcf fail termination
1851 dhollen 85254 test expanded-constrained-generic-root-crash term199 tcf fail termination expanded generic
1852 alexk 85834 test check-instruction-invalid-code term200 tcf pass termination check instruction validity
1853 dhollen 86393 test inherit-generic-with-self-as-formal term201 tcf pass termination
1854 manus 86486 test inherit-formal-as-second-formal term202 tcf pass termination dotnet
1855 dhollen 86646 test inherit-generic-of-expanded term203 tcf pass termination dotnet
1856     test ise-ec-flags-missing-final-quote term204 tcf fail termination
1857 manus 71320
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 manus 73319 test config-missing-name-attribute config008 tcf pass config
1868 manus 76092 test config-override-crash config009 tcf pass config
1869 manus 76339 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 manus 76347 test config-class-file-name-update config014 tcf pass config
1874 alexk 78500 test config-library-options-redefinition config015 tcf pass config
1875 alexk 78572 test config-library-options-setting config016 tcf pass config
1876 alexk 78874 test config-nonstandard-source-extension config017 tcf pass config
1877 tedf 78890 test config-keyword-root-class config018 tcf fail config
1878 dhollen 84031 test config-invalid-root-type config019 tcf fail config
1879 dhollen 84032 test config-invalid-actual-generic config020 tcf fail config
1880 dhollen 84054 test config-undetected-vlec config021 tcf fail config
1881 dhollen 84055 test config-invalid-vsrt2 config022 tcf fail config
1882 dhollen 84057 test config-generic-root-type-extra-chars config023 tcf fail config
1883 dhollen 84297 test config-generic-root-with-expanded config024 tcf fail config generic expanded
1884 dhollen 84302 test config-unclosed-element config025 tcf fail config
1885 dhollen 85247 test config-undetected-vtcg config026 tcf fail config
1886 manus 71320
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 manus 72833 test inlining-size-non-integer lace030 tcf pass lace inlining
1901 manus 80390 test lace-system-special-chars lace031 tcf fail lace special
1902 manus 71320
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 manus 72833 test inline-prefix-call ccomp037 tcf fail c_compilation inlining
1942 manus 71320 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 manus 72833 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 manus 71320 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 manus 72833 test inline-expanded-conversion ccomp051 tcf pass c_compilation inlining
1956 manus 71320 test create-generic-conform-double ccomp052 tcf pass c_compilation
1957     test long-string-generation ccomp053 tcf pass c_compilation
1958 manus 72833 test inline-incorrect-with-cpp ccomp054 tcf pass c_compilation inlining
1959 manus 71320 test polymorphic-dollar-agent-incorrect-wrapper ccomp055 tcf pass c_compilation
1960     test bad-macro-wrapping ccomp056 tcf pass c_compilation
1961 manus 72833 test bad-boolean-inline ccomp057 tcf pass c_compilation inlining
1962 manus 71320 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 manus 72841 test deferred-to-string-constant ccomp064 tcf pass finalizing multithreaded
1969 manus 71320 test built-in-unary-plus ccomp065 tcf fail c_compilation
1970 manus 74340 test expanded-generic-conformance-c-bad-finalization ccomp066 tcf fail c_compilation conformance
1971 manus 71320 if WINDOWS test dll-generation-failure ccomp067 tcf fail c_compilation
1972 manus 72841 test once-global-procedure-c-failure ccomp068 tcf fail c_compilation multithreaded
1973 manus 71855 test line-generation-finalize-bug ccomp069 tcf pass c_compilation
1974     test code-formatting ccomp070 tcf pass c_compilation
1975 manus 72259 test assign-attempt-on-basic-type ccomp071 tcf pass c_compilation
1976 manus 72383 test polymorphic-feature-address-bad-code ccomp072 tcf pass c_compilation
1977 manus 72428 test agent-with-like-bad-declaration ccomp073 tcf pass c_compilation
1978 manus 72886 test expanded-generic-wrong-c-with-multiple-ancestor ccomp074 tcf fail c_compilation
1979 manus 72890 test missing-undef-c-compiler-error ccomp075 tcf pass c_compilation
1980 manus 74004 test missing-protection-in-inline-c-code ccomp076 tcf pass c_compilation
1981 manus 74595 test bad-c-code-from-argument-anchor ccomp077 tcf fail c_compilation
1982 manus 76089 test bad-c-code-on-debug-clause ccomp078 tcf pass c_compilation
1983 dhollen 76208 test missing-makefile-for-precompile ccomp079 tcf fail c_compilation
1984 dhollen 76293 test bad-c-code-from-argument-anchor-2 ccomp080 tcf fail c_compilation
1985 manus 76589 test bad-c-code-for-expanded-definition ccomp081 tcf pass c_compilation expanded
1986 dhollen 76734 test expanded-generic-object-test ccomp082 tcf fail c_compilation expanded
1987 manus 77295 test c-header-mismatch-3 ccomp083 tcf fail c_compilation
1988 dhollen 78618 test large-real-constant-c-compile-failure ccomp084 tcf fail c_compilation
1989 tedf 80239 test c-header-sequence ccomp085 tcf fail c_compilation
1990 dhollen 85213 test finalize-without-then-with-assertions ccomp086 tcf fail c_compilation
1991 manus 71320
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 manus 72605 test store-tuple-integer store005 tcf pass storable tuple
1999 manus 71320 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 manus 72605 test tuple-57-unretrievable store011 tcf pass storable tuple
2005 manus 72841 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 tedf 72362 test retrieve-mismatch-serialization-failure store015 tcf pass storable exception
2009 manus 73711 test storable-formats-3 store016 tcf pass storable
2010 manus 75657 test storable-with-attached-type store017 tcf pass storable attached_types
2011 manus 76105 test storable-with-attached-type-by-62 store018 tcf pass storable attached_types
2012 tedf 76663 test storable-with-attached-type-1 store019 tcf pass storable attached_types
2013 manus 76664 test storable-with-attached-type-by-63 store020 tcf pass storable attached_types
2014 manus 76881 test storable-removing-attachment-marks store021 tcf pass storable attached_types
2015 manus 78044 test store-expanded-class-type-2 store022 tcf pass storable expanded
2016 manus 85534 test store-transient-attributes store023 tcf pass storable transient
2017 alexk 80206 test stream-independent-store store024 tcf pass storable stream special
2018 fivaa 80915 test attached-independent-store store025 tcf pass storable void-safe
2019 manus 81331 test storable-formats-63 store026 tcf pass storable
2020 manus 81388 test storable-with-special-type store027 tcf pass storable
2021 manus 81602 test storable-with-tuple-type store028 tcf pass storable
2022 manus 82157 test storable-formats-63-2 store029 tcf pass storable
2023 manus 85534 test store-retrieve-transient-attributes store030 tcf pass storable transient
2024 manus 82378 test store-retrieve-with-version store031 tcf pass storable
2025 manus 83820 test store-in-different-thread store032 tcf pass storable multithreaded
2026 manus 83854 test store-bounded-queues-stacks store033 tcf pass storable
2027 manus 86447 test old-hashtable-retrieval store034 tcf pass storable table
2028 manus 71320
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 manus 72974 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 manus 73812 test file-read-xxx-routines lib025 tcf pass library file
2065 tedf 74082 test ptf-file-forth-2 lib026 tcf pass library file
2066 manus 74120 test ptf-read-number-routines lib027 tcf pass library file
2067 tedf 74214 test es-encoding-conversion lib028 tcf pass library encoding
2068 manus 74304 test ptf-read-number-routines-2 lib029 tcf pass library file
2069 dhollen 77892 test file-type-queries-wrong lib030 tcf pass library file
2070 manus 78207 test file-append-not-thread-safe lib031 tcf pass library file multithreaded
2071 alexk 79567 test boolean-class-invariant lib032 tcf pass library basic invariant
2072 manus 81022 test file-read-write-access lib033 tcf fail library file
2073 dhollen 82043 test file-flush lib034 tcf pass library file
2074     test file-position-bad-file-pointer lib035 tcf fail library file
2075 manus 83645 test format-double-crash lib036 tcf fail library ieee
2076 manus 86645 test ptf-file-read-to-string lib037 tcf pass library file
2077 dhollen 86886 test managed-pointer-invariant lib038 tcf pass library invariant
2078 manus 71320
2079    
2080     -- TUPLE tests
2081 manus 75055 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 manus 71320 test named-tuple-same-labels-crash tuple009 tcf pass tuple
2090 manus 75055 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 manus 75745 test attached-tuple-element-validity tuple015 tcf pass tuple
2096 alexk 78876 test tuple-basic-to-reference tuple016 tcf pass tuple basic_types
2097 manus 71320
2098 manus 72974 -- ~ operator test
2099     test tilde-on-basic-type tilde001 tcf pass tilde
2100 manus 72978 test tilde-on-expanded-type tilde002 tcf pass tilde
2101 manus 72981 test tilde-on-formal-type tilde003 tcf pass tilde
2102 manus 72974
2103    
2104 manus 71320 -- 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 alexk 79440 test validity-vsrp3-precondition vsrp301 tcf pass validity vsrp
2128 manus 71320
2129 alexk 79440
2130 manus 71320 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 alexk 74625 test validity-vffd1-attribute vffd101 tcf pass validity vffd attribute
2167 manus 71320 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 alexk 85921 test validity-vffd8-once-scoop vffd801 tcf pass validity vffd vffd8 once scoop
2177 dhollen 86836 test validity-vffd8-once-proc-scoop vffd802 tcf fail validity vffd vffd8 once scoop
2178 alexk 85921
2179 manus 71320 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 manus 72324 test intro-assign-rule-viol fixed070 tcf pass fixed ec_precondition
2304 manus 71320 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 manus 74340 test general-conformance fixed085 tcf pass fixed conformance
2319 manus 71320 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 manus 72605 test reference-assign-tuple-fail-gc fixed125 tcf pass fixed tuple
2354 manus 71320 test infix-inherited-assertions fixed126 tcf pass fixed
2355 manus 80390 test inline-special-infix-at fixed127 tcf pass fixed inlining special
2356 manus 71320 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 manus 72833 test external-inline-boolean fixed131 tcf pass fixed inlining
2360 manus 71320 test class-name-in-multiline-string fixed132 tcf pass fixed
2361     test generic-constraint-to-none fixed133 tcf pass fixed
2362 manus 73970 test crash-degree-minus-1 fixed134 tcf pass fixed
2363 manus 71320
2364    
2365 manus 86987 test roundtrip-test rdtp001 tcf pass parsing
2366     test roundtrip-number-denoted-character rdtp002 tcf pass parsing
2367     test roundtrip-equivalence rdtp003 tcf pass parsing
2368 manus 71320
2369 manus 71449 -- Tests for assertion monitoring
2370     test supplier-preconditions assert001 tcf pass assertions execution
2371     test use-application-options-assertions assert002 tcf pass assertions execution
2372 king 76782 test undefined-assertion-merge assert003 tcf pass assertions
2373 manus 71320
2374     -- Multi Constraint Tests
2375     test multi-constraint-basics multicon001 tcf pass multiconstraint
2376     test multi-constraint-creation multicon002 tcf pass multiconstraint
2377     test multi-constraint-renaming multicon003 tcf pass multiconstraint
2378     test multi-constraint-inheritance multicon004 tcf pass multiconstraint
2379     test multi-constraint-assertions multicon005 tcf pass multiconstraint
2380 manus 72605 test multi-constraint-tuple multicon006 tcf pass multiconstraint tuple
2381 manus 71320 test multi-constraint-anchor multicon007 tcf pass multiconstraint
2382     test multi-constraint-root multicon008 tcf pass multiconstraint
2383     test multi-constraint-agents multicon009 tcf pass multiconstraint
2384     test multi-constraint-inline-agents multicon010 tcf pass multiconstraint
2385     test multi-constraint-formal-creation-constraint multicon011 tcf pass multiconstraint
2386     test multi-constraint-formal-heavy-renaming multicon012 tcf pass multiconstraint
2387     test multi-constraint-vtgc multicon013 tcf pass multiconstraint
2388     test multi-constraint-vtmc multicon014 tcf pass multiconstraint
2389     test multi-constraint-vtgd multicon015 tcf pass multiconstraint
2390     test multi-constraint-rename-conflict multicon016 tcf pass multiconstraint
2391     test multi-constraint-non-existent-renamed multicon017 tcf pass multiconstraint
2392     test multi-constraint-infix-renamed multicon018 tcf pass multiconstraint
2393     test multi-constraint-is-inherited multicon019 tcf pass multiconstraint
2394     test multi-constraint-vtgd-create multicon020 tcf pass multiconstraint
2395     test multi-constraint-add-gen-constraint multicon021 tcf pass multiconstraint
2396     test multi-constraint-renaming1 multicon022 tcf pass multiconstraint
2397     test multi-constraint-renaming2 multicon023 tcf pass multiconstraint
2398     test multi-constraint-check-constraints multicon024 tcf pass multiconstraint
2399     test multi-constraint-actual-type multicon025 tcf pass multiconstraint
2400     test multi-constraint-rename-formal multicon026 tcf pass multiconstraint
2401     test multi-constraint-creation-through-formal multicon027 tcf pass multiconstraint
2402     test multi-constraint-abstract-creation multicon028 tcf pass multiconstraint
2403     test multi-constraint-creation-crash01 multicon029 tcf pass multiconstraint
2404     test multi-constraint-code-generation-crash01 multicon030 tcf pass multiconstraint
2405     test multi-constraint-renamed-creation-feature multicon031 tcf pass multiconstraint
2406     test multi-constraint-single-constraint-renaming multicon032 tcf pass multiconstraint
2407     test multi-constraint-single-constraint-renaming2 multicon033 tcf pass multiconstraint
2408     test multi-constraint-recursion-bug multicon034 tcf pass multiconstraint
2409     test multi-constraint-nested-calls multicon035 tcf pass multiconstraint
2410     test multi-constraint-vtmc4 multicon036 tcf pass multiconstraint
2411 manus 72605 test multi-constraint-tuples multicon037 tcf pass multiconstraint tuple
2412     test multi-constraint-tuples2 multicon038 tcf pass multiconstraint tuple
2413 manus 71320 test multi-constraint-rename-alias multicon039 tcf pass multiconstraint
2414     test multi-constraint-assigner multicon040 tcf pass multiconstraint
2415     test multi-constraint-recursive-generic multicon041 tcf pass multiconstraint
2416     test multi-constraint-rename-clause-crash multicon042 tcf pass multiconstraint
2417     test multi-constraint-order-affects-semantic multicon043 tcf pass multiconstraint
2418     test multi-constraint-rename-to-infix multicon044 tcf pass multiconstraint
2419     test multi-constraint-alias multicon045 tcf pass multiconstraint
2420     test multi-constraint-constrained-twice multicon046 tcf pass multiconstraint
2421     test multi-constraint-renaming-to-existing-feature multicon047 tcf pass multiconstraint
2422     test multi-constraint-any-numeric-crash multicon048 tcf pass multiconstraint
2423     test multi-constraint-parallel-renaming multicon049 tcf pass multiconstraint
2424 manus 76149 test multi-constraint-alias-renamed multicon050 tcf pass multiconstraint
2425 manus 77387 test multi-constraint-alias multicon051 tcf pass multiconstraint system-validity
2426 tedf 80204 test multi-constraint-light-roundtrip multicon052 tcf pass multiconstraint
2427 dhollen 83732 test multi-constraint-constrained-twice-2 multicon053 tcf fail multiconstraint
2428 dhollen 83821 test multi-constraint-constrained-by-self multicon054 tcf fail multiconstraint
2429 dhollen 83822 test multi-constraint-make-byte-code-crash multicon055 tcf fail multiconstraint
2430 dhollen 83983 test multi-constraint-static-access multicon056 tcf fail multiconstraint
2431 dhollen 83988 test multi-constraint-static-access-2 multicon057 tcf fail multiconstraint
2432 manus 84008 test inherited-unary-with-generic multicon058 tcf pass multiconstraint formal
2433 dhollen 84044 test multi-constraint-real-type-in-crash multicon059 tcf fail multiconstraint formal
2434 manus 84174 test saving-multiconstraint-generic-class-crash multicon060 tcf pass multiconstraint formal incrementality
2435 manus 84177 test expanded-generic-with-multiconstraint multicon061 tcf pass multiconstraint formal execution
2436 manus 71320
2437     -- tests for expanded types
2438     test expanded-array-attached-reference-array expanded001 tcf pass expanded
2439     test expanded-reverse-assignment expanded002 tcf pass expanded
2440     test array-of-user-defined-expanded expanded003 tcf pass expanded
2441     test expanded-formal-multiconstraint expanded004 tcf pass expanded
2442     test expanded-formal-multiconstraint2 expanded005 tcf pass expanded
2443 manus 72271 test wrong-type-in-expanded-generic-in-generic expanded006 tcf pass expanded
2444 manus 72358 test complex-expanded-generic-inheritance-crash expanded007 tcf pass expanded
2445 manus 78443 test expanded-with-references-crash expanded008 tcf pass expanded
2446 manus 81635 test external-with-expanded-crash expanded009 tcf pass expanded
2447 manus 81778 test expanded-attribute-crash-with-tiny expanded010 tcf pass expanded
2448 manus 71320
2449     test filename-classname-mismatch-warning warn001 tcf pass warning
2450    
2451 manus 82463 test ephemeral-basics ephemeral001 tcf pass ephemeral
2452    
2453 manus 71320 -- test for agents
2454 manus 81233 test agent-optimization-failure agent001 tcf fail agents
2455 manus 72254 test agent-with-like agent002 tcf pass agents
2456 manus 73056 test agent-with-basic agent003 tcf fail agents finalizing
2457 manus 81233 test agent-crash agent004 tcf pass agents
2458 manus 75589 test agent-too-many-arguments agent005 tcf pass agents
2459 manus 75057 test incorrect-agent-type agent006 tcf fail agents
2460 manus 75589 test agent-dotnet-failure agent007 tcf pass agents dotnet
2461     test agent-on-tuple-label agent008 tcf pass agents tuple
2462 manus 81233 test agent-on-with-attached-operands agent009 tcf pass agents tuple
2463 fivaa 76839 test agent-calling-attribute-with-formal-type agent010 tcf pass agents formal generic
2464 manus 77687 test various-agent-creation-and-calls agent011 tcf pass agents
2465 manus 81225 test agent-basic-type-mismatch agent012 tcf pass agents finalizing
2466 manus 82134 test agent-descendant-final-crash agent013 tcf pass agents finalizing
2467 manus 86370 test agent-third-formal-finalization agent014 tcf pass agents finalizing
2468 manus 71320
2469 manus 71448 -- Tests for platform specific results
2470     test print-large-pointer platform001 tcf pass platform
2471    
2472 alexk 71359 -- Tests for attached types and void-safe constructs
2473 manus 77151 test object-test-semantics attach001 tcf pass execution object_test expanded attached_types
2474     test object-test-local-scope attach002 tcf pass validity object_test scope local attached_types
2475 alexk 79081 test like-current-object-test-no-defaults attach003 tcf pass object_test attached_types
2476 manus 77151 test object-test-with-local-use-failure attach004 tcf pass object_test attached_types
2477 alexk 79081 test current-is_attached-no-defaults attach005 tcf pass attached_types
2478 alexk 83503 test anchored-attached-type-failure-no-defaults attach006 tcf pass attached_types anchored_type
2479 paulb 72185 test attached-formal-generic attach007 tcf pass conformance attached_types
2480 alexk 79081 test object-test-in-invariant attach008 tcf pass object_test attached_types
2481 paulb 72185 test attached-basic-type attach009 tcf pass conformance basic_types attached_types
2482 alexk 79081 test attached-generic-type-conformance attach010 tcf pass conformance attached_types
2483     test correct-attached-predicate-precedence-semantics attach011 tcf pass object_test execution attached_types
2484 manus 77151 test object-test-chain attach012 tcf pass object_test execution attached_types
2485     test object-test-code-generation attach013 tcf pass object_test execution attached_types
2486 alexk 72593 test read-only-void-test-in-assertion attach014 tcf pass attached_types scope local
2487 manus 72854 test scope-after-combined-expression attach015 tcf pass attached_types scope local
2488 alexk 83503 test anchored-object-test-local attach016 tcf pass object_test attached_types anchored_type
2489 manus 77151 test object-test-in-assertion attach017 tcf pass object_test system-validity attached_types
2490     test object-test-finalization-crash attach018 tcf pass object_test attached_types
2491 alexk 81932 test object-test-invariant-any-to-expanded attach019 tcf fail object_test expanded invariant attached_types
2492 paulb 73552 test detached-type-target-conversion attach020 tcf fail attached_types system-validity
2493 alexk 79081 test explicit-attached-formal-conformance attach021 tcf pass attached_types system-validity conformance
2494 alexk 83503 test attached-external-check attach022 tcf pass attached_types external generic anchored_type
2495 alexk 79081 test attached-wrong-initialization attach023 tcf pass attached_types
2496     test attached-like-feature-formal-crash attach024 tcf pass attached_types
2497     test attached-formal-constraint attach025 tcf pass attached_types generic
2498     test attached-attribute-init attach026 tcf pass attached_types self_init
2499     test redefine-attached-attribute-init attach027 tcf pass attached_types self_init
2500     test generic-attached-attribute-init attach028 tcf pass attached_types self_init generic
2501     test full-void-safe-compilation attach029 tcf pass void_safe attached_types
2502     test attribute-init-code-generation-correct attach030 tcf pass self_init incrementality melting attached_types
2503     test parent-attribute-init attach031 tcf pass self_init attached_types
2504 alexk 83503 test like-current-is-detached attach032 tcf pass attached_types anchored_type system-validity
2505 manus 76688 test attached-type-creation-internal attach033 tcf pass attached_types reflection
2506 alexk 79081 test anchored-generic-carries-attachment attach034 tcf pass attached_types generic
2507 manus 77151 test object-test-in-precondition attach035 tcf pass object_test attached_types
2508     test default-in-special-access attach036 tcf pass special attached_types
2509 alexk 79081 test attached-type-set-in-conditional attach037 tcf pass attached_types
2510     test object-test-local-same-lower-name attach038 tcf pass attached_types
2511 manus 77151 test void-safe-inherited-precursor attach039 tcf pass void_safe precursor attached_types
2512 alexk 79081 test object-test-not-visible-to-old-express attach040 tcf pass object_test system-validity attached_types
2513 alexk 76667 test current-in-self-init-attribute attach041 tcf pass attached_types self_init void_safe validity
2514 manus 76871 test agent-attached-by-default attach042 tcf pass attached_types void_safe incrementality c_compilation
2515 fivaa 76680 test empty-agent-argument-attached-by-default attach043 tcf pass attached_types void_safe
2516 manus 76688 test attached-type-attribute-attachment attach044 tcf pass attached_types reflection
2517 alexk 79081 test attached-inherited-argument attach045 tcf pass attached_types void_safe scope
2518 alexk 76932 test attribute-initialization-in-rescue attach046 tcf pass attached_types void_safe validity
2519 manus 76944 test argument-type-correct attach047 tcf pass attached_types
2520 alexk 77008 test operator-undetected-call-on-void-target attach048 tcf pass attached_types
2521 manus 77151 test scope-with-non-boolean-operator attach049 tcf fail void_safe object_test scope attached_types
2522 alexk 79081 test vevi-missed-for-once-routine attach050 tcf pass void_safe attached_types
2523     test detach-to-attach-assignment attach051 tcf pass void_safe validity dotnet attached_types
2524     test same-object-test-local-failure attach052 tcf pass void_safe attached_types
2525     test various-object-tests attach053 tcf pass void_safe attached_types
2526 alexk 77735 test recursive-once-function-call-on-void-target attach054 tcf fail void_safe attached_types
2527     test bogus-vevi-when-inherit-expanded attach055 tcf fail void_safe attached_types
2528     test stable-attribute-redeclaration attach056 tcf pass stable attribute redeclaration validity
2529     test stable-attribute-caps attach057 tcf pass stable attribute attached_types
2530     test void-safety-level attach058 tcf pass void_safe validity dotnet attached_types
2531 alexk 77866 test voidness-cap-in-assertion attach059 tcf pass void_safe scope
2532 alexk 83503 test like-current-void-safety attach060 tcf pass void_safe anchored_type
2533 alexk 78049 test object-test-in-inherited-assertions attach061 tcf pass void_safe object_test fixed
2534 alexk 78311 test detaching-attached-variable-in-loop attach062 tcf pass void_safe scope validity
2535 alexk 78384 test void-assigned-to-stable-attribute attach063 tcf pass void_safe stable attribute validity
2536 jfiat 78523 test void-assigned-to-object-test-with-create attach064 tcf pass void_safe object_test
2537 alexk 78612 test object-test-code-generation attach065 tcf pass object_test
2538 alexk 78804 test detachable-for-attached-constraint attach066 tcf pass void_safe attached_types generic conformance validity
2539 alexk 78807 test call-on-detachable-generic attach067 tcf pass void_safe attached_types generic validity
2540 alexk 78873 test conversion-from-cap-attached attach068 tcf pass void_safe attached_types conversion
2541 manus 80394 test attached-special-creation attach069 tcf pass attached_types special
2542 alexk 82054 test stable-attribute-in-rescue attach070 tcf pass void_safe validity stable attribute scope
2543 dhollen 82155 test self-init-attribute-non-void-safe attach071 tcf fail attached_types self_init void_safe
2544 manus 82970 test default-create-missing-check attach072 tcf pass attached_types void_safe
2545 dhollen 83729 test bogus-vevi-expanded-formal-generic attach073 tcf fail attached_types void_safe
2546 jfiat 84152 test vevi-on-once-per-object-routine attach074 tcf pass attached_types void_safe once
2547     test once-per-object-creation-procedure attach075 tcf pass attached_types void_safe once
2548 dhollen 83933 test attached-to-none attach076 tcf fail attached_types void_safe once
2549 alexk 84167 test attached-attribute-initialization attach077 tcf pass attached_types void_safe validity
2550 alexk 84387 test detachable-formal-attached-constraint attach078 tcf pass attached_types formal generic constraint conformance validity
2551 manus 85449 test empty-attribute-body-bogus-vevi attach079 tcf pass attached_types validity
2552 manus 85457 test bogus-object-test attach080 tcf pass attached_types object_test execution
2553 dhollen 85517 test nonconforming-inheritance-bogus-vevi attach081 tcf fail attached_types non-conforming
2554 dhollen 85525 test repeated-inheritance-bogus-vevi attach082 tcf fail attached_types
2555 manus 85939 test self-initializing-attribute-gc attach083 tcf pass attached_types void_safe attribute self_init execution
2556     test manifest-string-type attach084 tcf pass attached_types void_safe execution
2557 alexk 86914 test initialized-after-unreachable attach085 tcf pass attached_types void_safe unreachable_code
2558 manus 86936 test self-initializing-attribute-gc-2 attach086 tcf pass attached_types void_safe attribute self_init execution
2559 alexk 71359
2560 manus 74342 -- Tests for conformance in general
2561     test basic-conformance conform001 tcf pass conformance
2562 manus 75273 test formal-conformance conform002 tcf pass conformance
2563 manus 75427 test catcall-checking-conformance conform003 tcf pass conformance
2564     test tuple-conformance-broken conform004 tcf pass conformance
2565 manus 75578 test reverse-assignment-on-attached-target-broken conform005 tcf pass conformance
2566 manus 75582 test manifest-tuple-type-conformance conform006 tcf pass conformance
2567 paulb 76476 test attached-agent-procedure-conformance conform007 tcf fail conformance attached_types
2568 manus 77265 test attached-formal-creation conform008 tcf pass conformance attached_types
2569 alexk 83755 test expanded-formal-conformance conform009 tcf pass conformance expanded formal generic validity constraint
2570     test formal-constraint-conformance conform010 tcf pass conformance formal generic validity constraint
2571 manus 76693
2572     -- Test for Reflection
2573 manus 76694 test basic-type-internal reflection001 tcf pass reflection
2574     test basic-type-internal-violation reflection002 tcf pass reflection
2575 manus 80358 test type-of-internal reflection003 tcf pass reflection
2576 manus 80662 test field-basic-type-inconsistency reflection004 tcf pass reflection
2577 manus 80979 test field-type-inconsistency reflection005 tcf pass reflection
2578 manus 82342 test storable-version-data reflection006 tcf pass reflection storable
2579 manus 80979
2580 alexk 82356 -- Tests for anchored types
2581     test qat-evaluation-order anchor001 tcf pass anchored_type
2582 alexk 83002 test qat-redeclaration-check anchor002 tcf pass anchored_type redeclaration validity conformance incrementality
2583 manus 82968 test inherited-qat-failure anchor003 tcf pass anchored_type system-validity
2584 manus 82971 test delayed-check-failure-with-infix anchor004 tcf pass anchored_type termination
2585 alexk 83002 test qat-creation-with-deferred anchor005 tcf pass anchored_type creation execution
2586 alexk 83005 test qat-creation-with-like-current anchor006 tcf pass anchored_type creation execution
2587 alexk 83042 test qat-creation-with-generic anchor007 tcf pass anchored_type creation execution formal generic
2588 alexk 83059 test qat-multi-formal-conformance anchor008 tcf pass anchored_type multiconstraint formal generic conformance validity
2589 alexk 83450 test qat-crash-in-local anchor009 tcf pass anchored_type
2590 manus 83197 test qat-crash-in-local-2 anchor010 tcf pass anchored_type
2591 alexk 83450 test qat-cycle-with-class-name anchor011 tcf pass anchored_type
2592     test qat-anchored-to-generic anchor012 tcf pass anchored_type
2593     test qat-formal-generic-in-anchor anchor013 tcf pass anchored_type
2594     test qat-chain-with-missing-feature anchor014 tcf pass anchored_type
2595     test qat-adapted-in-crash anchor015 tcf pass anchored_type
2596     test qat-linked-to-local-anchor anchor016 tcf pass anchored_type
2597     test qat-generic-parms-for-nongeneric-class anchor017 tcf pass anchored_type
2598     test qat-linked-to-formal anchor018 tcf pass anchored_type
2599 alexk 83481 test qat-conformance-type-crash anchor019 tcf pass anchored_type
2600     test qat-like-current-repetition anchor020 tcf pass anchored_type
2601 alexk 83482 test qat-with-renamed-features anchor021 tcf pass anchored_type renaming
2602 manus 83495 test qat-with-redefined-features anchor022 tcf pass anchored_type system-validity
2603 dhollen 83496 test qat-with-non-formal-generic anchor023 tcf pass anchored_type
2604 dhollen 83522 test qat-in-generic-constraint anchor024 tcf pass anchored_type
2605 alexk 83528 test qat-renamed-constraint anchor025 tcf pass anchored_type formal generic
2606 dhollen 83529 test qat-with-missing-actual-generic anchor026 tcf pass anchored_type
2607 alexk 83755 test qat-with-expanded-type anchor027 tcf pass anchored_type expanded creation
2608 dhollen 83611 test qat-actual-generic-anchored-to-generic anchor028 tcf fail anchored_type
2609 dhollen 83612 test qat-with-invalid-actual-generic anchor029 tcf fail anchored_type
2610 dhollen 83626 test qat-with-expanded-deferred anchor030 tcf pass anchored_type
2611 dhollen 83627 test qat-on-generic-in-descendant anchor031 tcf fail anchored_type
2612 dhollen 83628 test qat-anchored-to-expanded-via-generic anchor032 tcf fail anchored_type
2613 dhollen 83630 test qat-instantiated-in-crash anchor033 tcf fail anchored_type
2614 dhollen 83633 test qat-abstract-creation-crash anchor034 tcf fail anchored_type
2615 dhollen 83634 test qat-skeleton-adapted-in-crash anchor035 tcf fail anchored_type
2616 dhollen 83635 test qat-constraints-if-possible-crash anchor036 tcf fail anchored_type
2617 dhollen 83636 test qat-adapted-in-crash-2 anchor037 tcf fail anchored_type
2618 dhollen 83637 test qat-hash-code-crash anchor038 tcf fail anchored_type
2619 dhollen 83638 test qat-vmfn-compiler-error anchor039 tcf fail anchored_type
2620 dhollen 83642 test qat-finalized-wrong-type anchor040 tcf fail anchored_type
2621 dhollen 83650 test qat-constrained-type-in-crash anchor041 tcf fail anchored_type
2622 dhollen 83667 test qat-same-generic-derivation-crash anchor042 tcf fail anchored_type
2623 dhollen 83678 test qat-invalid-vgcc anchor043 tcf fail anchored_type
2624 dhollen 83793 test qat-evaluated-type-in-descendant-crash anchor044 tcf fail anchored_type
2625 dhollen 83794 test qat-invalid-veen-in-generic-descendant anchor045 tcf fail anchored_type
2626 dhollen 83797 test qat-instantiated-in-crash-2 anchor046 tcf fail anchored_type formal generic
2627 dhollen 83798 test qat-constrained-types-crash anchor047 tcf fail anchored_type formal generic
2628 dhollen 83799 test qat-conformance-type-crash-2 anchor048 tcf fail anchored_type formal generic
2629 dhollen 83800 test qat-process-formal-as-crash anchor049 tcf fail anchored_type formal generic
2630 dhollen 83819 test qat-invalid-vffd anchor050 tcf fail anchored_type
2631 dhollen 83829 test qat-c-compile-failure anchor051 tcf fail anchored_type generic
2632 dhollen 83861 test qat-anchored-to-redefined-descendant anchor052 tcf fail anchored_type
2633 manus 86356 test qat-inlining-bug anchor053 tcf fail anchored_type generic inlining
2634 dhollen 83879 test qat-instantiated-in-crash-3 anchor054 tcf fail anchored_type formal generic
2635 manus 86322 test qat-static-type-id-crash-2 anchor055 tcf fail anchored_type formal generic multiconstraint
2636 dhollen 84048 test qat-generic-constrained-by-self anchor056 tcf fail anchored_type formal generic manual
2637 alexk 84193 test qat-multi-constraint-type anchor057 tcf fail anchored_type multiconstraint formal generic renaming creation
2638 dhollen 84194 test qat-invalid-vffd-2 anchor058 tcf fail anchored_type
2639 dhollen 85295 test qat-using-generic-feature-finalized anchor059 tcf fail anchored_type
2640 manus 86406 test qat-in-creation-procedure anchor060 tcf fail anchored_type finalizing
2641 dhollen 86780 test qat-generic-with-rename anchor061 tcf fail anchored_type
2642 alexk 82356
2643 alexk 85220 -- SCOOP
2644 manus 85799 test scoop-access-smoke scoop001 tcf pass scoop execution
2645 alexk 85809 test scoop-argument-validity scoop002 tcf pass scoop validity expanded
2646 manus 85799 test scoop-hanging-1 scoop003 tcf pass scoop execution
2647     test scoop-basic-argument-formal-nested scoop004 tcf pass scoop execution
2648 manus 85801 test scoop-separate-like-current scoop005 tcf pass scoop execution
2649 alexk 85809 test scoop-result-validity scoop006 tcf pass scoop validity expanded
2650 alexk 85837 test scoop-external-call scoop007 tcf pass scoop execution
2651 alexk 85920 test scoop-freeze-condition scoop008 tcf pass scoop execution incrementality
2652 alexk 86044 test scoop-wait-condition scoop009 tcf pass scoop execution assertion
2653 alexk 86299 test scoop-request-chain-exception scoop011 tcf pass scoop execution exception
2654 alexk 86389 test scoop-false-wait-condition scoop012 tcf pass scoop execution assertion exception
2655 dhollen 86831 test scoop-inline-separate-call scoop013 tcf fail scoop finalizing inlining
2656 alexk 86843 test scoop-separate-expanded scoop014 tcf pass scoop expanded
2657 dhollen 86852 test scoop-separate-patterns-crash scoop015 tcf pass scoop finalizing
2658 dhollen 86853 test scoop-finalize-c-failure scoop016 tcf pass scoop finalizing c_compilation
2659 dhollen 86862 test scoop-separate-call-to-constant scoop017 tcf pass scoop execution
2660 dhollen 86872 test scoop-once-per-object scoop018 tcf pass scoop execution incrementality once
2661 alexk 86911 test scoop-top-exception scoop019 tcf pass scoop
2662 alexk 85220
2663 dhollen 86835 -- Prettify
2664 alexk 86485 test pretty-smoke-test pretty001 tcf pass pretty
2665 alexk 86550 test pretty-explicit-creation-space pretty002 tcf pass pretty
2666 alexk 86553 test pretty-argument-list-separators pretty003 tcf pass pretty
2667 alexk 86555 test pretty-class-note-indentation pretty004 tcf pass pretty
2668 alexk 86556 test pretty-constant-attribute-space pretty005 tcf pass pretty
2669 alexk 86565 test pretty-obsolete-and-external pretty006 tcf pass pretty
2670 alexk 86574 test pretty-loop-variant pretty007 tcf pass pretty
2671 alexk 86577 test pretty-retry-instruction pretty008 tcf pass pretty
2672 alexk 86579 test pretty-integer-constant pretty009 tcf pass pretty
2673 alexk 86581 test pretty-inspect-cases pretty010 tcf pass pretty
2674 alexk 86588 test pretty-note-on-attribute pretty011 tcf pass pretty
2675 alexk 86591 test pretty-convert-clause pretty012 tcf pass pretty
2676 alexk 86593 test pretty-multiconstrained-generics pretty013 tcf pass pretty
2677 alexk 86595 test pretty-formal-renaming pretty014 tcf pass pretty
2678 alexk 86702 test pretty-comment-indentation pretty015 tcf pass pretty
2679 alexk 86703 test pretty-check-instruction pretty016 tcf pass pretty
2680 alexk 86709 test pretty-nested-comment pretty017 tcf pass pretty
2681 alexk 86711 test pretty-assertion-clause pretty018 tcf pass pretty
2682 alexk 86718 test pretty-feature-adaptation pretty019 tcf pass pretty
2683 alexk 86720 test pretty-bracket-expression pretty020 tcf pass pretty
2684 alexk 86722 test pretty-attribute-comment pretty021 tcf pass pretty
2685 alexk 86726 test pretty-expression-comment pretty022 tcf pass pretty
2686 alexk 86729 test pretty-typed-character pretty023 tcf pass pretty
2687 dhollen 86735 test pretty-multiple-feature-clauses pretty024 tcf pass pretty
2688 dhollen 86736 test pretty-routine-comment-indentation pretty025 tcf pass pretty
2689 dhollen 86737 test pretty-constant-attribute-comment pretty026 tcf pass pretty
2690 alexk 86745 test pretty-feature-call-comment pretty027 tcf pass pretty
2691 dhollen 86747 test pretty-comments-between-features pretty028 tcf pass pretty
2692 alexk 86485
2693 manus 85014 -- Testing facility
2694     test testing-with-error testing001 tcf pass testing
2695    
2696 manus 71320 -- .NET specific test
2697     if DOTNET test expanded-object-conversion dotnet001 tcf pass dotnet
2698 manus 72605 test tuple-insertions-assertions dotnet002 tcf pass dotnet tuple
2699 manus 71320 test copy-infinite-recursion dotnet003 tcf pass dotnet
2700     test dotnet-nested-constant-access dotnet004 tcf pass dotnet
2701 manus 72841 test multithreaded-once-routine dotnet005 tcf pass dotnet multithreaded
2702 manus 71320 if DOTNET test dotnet-float-literal dotnet006 tcf pass dotnet
2703     if DOTNET test system-object-creation dotnet007 tcf pass dotnet
2704     if DOTNET test dotnet-expanded-any-conversion dotnet008 tcf pass dotnet
2705     if DOTNET test single-class-with-inherited-anchor dotnet009 tcf pass dotnet
2706     test is_equal-on-generic-class-fails dotnet010 tcf pass dotnet
2707     if DOTNET test feature-calls-on-dotnet-expanded-attribute dotnet011 tcf pass dotnet
2708     if DOTNET test inherit-icloneable dotnet012 tcf pass dotnet
2709     if DOTNET test nested-external-call-which-is-static dotnet013 tcf pass dotnet
2710     test dotnet-inherit-new-array-type dotnet014 tcf pass dotnet
2711     test none-usage-in-internal-type-comparison dotnet015 tcf fail dotnet
2712     if DOTNET test dotnet-empty-custom-attributes dotnet016 tcf pass dotnet
2713     test dotnet-replicated-standard_twin dotnet017 tcf pass dotnet
2714     if DOTNET test dotnet-custom-attributes dotnet018 tcf fail dotnet custom_attributes
2715     if DOTNET test dotnet-attribute-in-enum dotnet019 tcf pass dotnet
2716     if DOTNET test dotnet-enum-value dotnet020 tcf fail dotnet
2717     if DOTNET test dotnet-value-type-initialization dotnet021 tcf pass dotnet
2718     if DOTNET test custom-attribute-type-change dotnet022 tcf pass dotnet incrementality custom_attributes
2719     if DOTNET test deferred-inherited-from-external dotnet023 tcf pass dotnet
2720     if DOTNET test renamed-feature-from-interface dotnet024 tcf pass dotnet
2721     if DOTNET test property-name-clash dotnet025 tcf pass dotnet property
2722     if DOTNET test enum-inspect-validity dotnet026 tcf pass dotnet
2723     if DOTNET test property-assigner-generation dotnet027 tcf pass dotnet property assign
2724     if DOTNET test field-assigner-generation dotnet028 tcf pass dotnet
2725     test property-accessor-name-clash dotnet029 tcf pass dotnet property
2726     test inline-agent-of-descendant dotnet030 tcf pass dotnet
2727     test deferred-class-inherit-dotnet dotnet031 tcf pass dotnet
2728     if DOTNET test single-inheritance-test dotnet032 tcf pass dotnet
2729     test assertion-evaluation-order dotnet033 tcf fail dotnet
2730     test pointer-to-external-expanded dotnet034 tcf pass dotnet expanded
2731     if DOTNET test ambiguous-dotnet-types dotnet035 tcf fail dotnet expanded
2732     test real-output-no-locale dotnet036 tcf pass dotnet real locale
2733     if DOTNET test overload-with-argument-type dotnet037 tcf pass dotnet
2734     if DOTNET test compatible-single-and-interface dotnet038 tcf pass dotnet
2735     if DOTNET test versioned-interface_implementation dotnet039 tcf pass dotnet
2736     if DOTNET test renamed-frozen-interface-implementation-for-single dotnet040 tcf pass dotnet
2737     if DOTNET test deferred-property-generation dotnet041 tcf pass dotnet property
2738     if DOTNET test merged-typed-pointer-argument dotnet042 tcf pass dotnet
2739     if DOTNET test correct-bound-property-assigner dotnet043 tcf pass dotnet
2740     if DOTNET test valid-dotnet-basic-typeof dotnet044 tcf pass dotnet
2741     if DOTNET test correct-override-on-multi-versioned-members dotnet045 tcf pass dotnet
2742     if DOTNET test function-property-call-correction dotnet046 tcf pass dotnet property
2743     if DOTNET test deferred-property-missing-assigner-implementation dotnet047 tcf pass dotnet property
2744     if DOTNET test deferred-property-missing-assigner-implementation-renamed dotnet048 tcf pass dotnet property
2745     if DOTNET test effecting-from-inherited-external dotnet049 tcf pass dotnet
2746     test replicated-from-generic-type dotnet050 tcf pass dotnet termination expanded replication
2747     test implicit-type-cause-crash-on-cast dotnet051 tcf pass dotnet termination
2748     if DOTNET test incremental-custom-attribute-constant-change dotnet052 tcf fail dotnet custom_attributes
2749     if DOTNET test wrong-eiffel-name-attribute-generation dotnet053 tcf pass dotnet custom_attributes
2750     if DOTNET test field-attribute-test dotnet054 tcf fail dotnet custom_attributes
2751     if DOTNET test creation-without-default-ctor dotnet055 tcf fail dotnet constructor
2752     if DOTNET test incr-remove-create-dotnet-constructor dotnet056 tcf fail dotnet constructor incrementality
2753     if DOTNET test smart-object-automatic-implementation dotnet057 tcf fail dotnet
2754     if DOTNET test expected-any-type-name dotnet058 tcf pass dotnet namespace dotnet_names
2755     if DOTNET test expected-basic-type-names dotnet059 tcf pass dotnet namespace dotnet_names
2756     if DOTNET test dotnet-name-generation dotnet060 tcf fail dotnet dotnet_names
2757     if DOTNET test external-name-conflict-validation dotnet061 tcf pass dotnet dotnet_names
2758     if DOTNET test target-namespace-generation-rules dotnet062 tcf pass dotnet namespace
2759     if DOTNET test target-named-namespace-generation-rules dotnet063 tcf pass dotnet namespace
2760     if DOTNET test library-namespace-generation-rules dotnet064 tcf pass dotnet namespace
2761     if DOTNET test library-named-namespace-generation-rules dotnet065 tcf pass dotnet namespace
2762     if DOTNET test uncompiled-managed-resource-embeddeding dotnet066 tcf pass dotnet resources
2763     if DOTNET test compiled-managed-resource-embeddeding dotnet067 tcf pass dotnet resources
2764     if DOTNET test peripheral-resource-embeddeding dotnet068 tcf pass dotnet resources
2765     if DOTNET test non-existent-resource-embeddeding dotnet069 tcf fail dotnet resources
2766     if DOTNET test uncompiled-managed-resource-modified dotnet070 tcf fail dotnet resources
2767     if DOTNET test property-name-clash-named dotnet071 tcf pass dotnet property
2768     if DOTNET test property-name-clash-single-named dotnet072 tcf pass dotnet property
2769     if DOTNET test property-name-clash-named-inherited dotnet073 tcf pass dotnet property
2770     if DOTNET test properties-generated-on_eiffel-interface dotnet074 tcf pass dotnet property
2771     if DOTNET test illegal-routine-properties dotnet075 tcf pass dotnet property
2772     if DOTNET test property-reusing-parent-setter dotnet076 tcf fail dotnet property
2773     if DOTNET test deferred-property-function-on-single dotnet077 tcf fail dotnet property
2774     if DOTNET test property-incremental-add-remove dotnet078 tcf pass dotnet property incrementality
2775     if DOTNET test property-incremental-add-remove-single dotnet079 tcf pass dotnet property incrementality
2776     if DOTNET test property-on-procedure dotnet080 tcf pass dotnet property
2777     if DOTNET test ctor-basic dotnet081 tcf fail dotnet constructor
2778     if DOTNET test ctor-basic-dynamic dotnet082 tcf pass dotnet constructor
2779     if DOTNET test ctor-non-existing-create dotnet083 tcf pass dotnet constructor
2780     if DOTNET test ctor-single-default-ctor dotnet084 tcf pass dotnet constructor
2781     if DOTNET test ctor-parent-ctor-reference dotnet085 tcf pass dotnet constructor
2782     if DOTNET test ctor-parent-argumented-ctor-reference dotnet086 tcf pass dotnet constructor
2783     if DOTNET test ctor-parent-argumented-ctor-redefine dotnet087 tcf fail dotnet constructor
2784     if DOTNET test ctor-root-creation-ctor dotnet088 tcf fail dotnet constructor
2785     if DOTNET test ctor-multi-source-ctors dotnet089 tcf fail dotnet constructor
2786     if DOTNET test ctor-reference-from-external-type dotnet090 tcf fail dotnet constructor
2787     if DOTNET test ctor-multi-source-unique-ctors dotnet091 tcf fail dotnet constructor
2788     if DOTNET test ca-use-of-non-native-attribute dotnet092 tcf fail dotnet custom_attributes
2789     if DOTNET test ca-incorrect-context-usage dotnet093 tcf fail dotnet custom_attributes
2790     if DOTNET test ca-peripheral-assembly-metadata dotnet094 tcf pass dotnet custom_attributes
2791     if DOTNET test ca-assembly-md-with-compile-all dotnet095 tcf fail dotnet custom_attributes
2792     if DOTNET test ca-correct-assignment dotnet096 tcf pass dotnet custom_attributes
2793     if DOTNET test ca-basic-custom-attribute dotnet097 tcf pass dotnet custom_attributes
2794     if DOTNET test ca-custom-attribute-with-property dotnet098 tcf fail dotnet custom_attributes property
2795     if DOTNET test ca-custom-attribute-with-ctor dotnet099 tcf pass dotnet custom_attributes constructor
2796     if DOTNET test ca-custom-attribute-with-create dotnet100 tcf fail dotnet custom_attributes
2797     if DOTNET test application-optimizations-enabled dotnet101 tcf pass dotnet optimization
2798     if DOTNET test system-object-remapped-in-mscorlib-only dotnet102 tcf pass dotnet consumer
2799     if DOTNET test consumable-attribute-usage-in-eiffel dotnet103 tcf fail dotnet consumer consumable custom_attributes
2800 manus 76383 if DOTNET test generic-creation-with-external-ctor dotnet104 tcf pass dotnet constructor generic external creation
2801     if DOTNET test overridden-cluster-namespace-preserved dotnet105 tcf pass dotnet namespace
2802 manus 71320 if DOTNET test equal-on-dotnet-string-and-eiffel-string dotnet106 tcf pass dotnet
2803     if DOTNET test renaming-native-dotnet-feature-with-redefine-default-create dotnet107 tcf pass dotnet
2804 manus 73642 test anchored-creation-crash dotnet108 tcf pass dotnet
2805 manus 73652 test object-test-assertion-crash dotnet109 tcf pass dotnet
2806     test dotnet-polymorphism dotnet110 tcf pass dotnet
2807 manus 73678 if DOTNET test assigner-name-incrementality dotnet111 tcf pass dotnet
2808 manus 80390 test dotnet-special-handling-crash dotnet112 tcf pass dotnet special
2809 manus 77645 if DOTNET test dotnet-object-test-basic-type dotnet113 tcf pass dotnet attached_types
2810 tedf 77823 if DOTNET test dotnet-array-data-copy dotnet114 tcf pass dotnet
2811 manus 79603 test dotnet-static-access-on-deferred dotnet115 tcf pass dotnet
2812 manus 82047 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