--| Copyright (c) 1993-2006 University of Southern California and contributors. --| All rights reserved. --| Your use of this work is governed under the terms of the GNU General Public --| License version 2. -- This is a test catalog. source_path $BUGS -- EiffelTime tests test make-from-string datetimestring001 tcf pass time test time-duration duration001 tcf pass time test date-duration duration002 tcf pass time test date-time-duration duration003 tcf pass time test large-date-time-duration duration004 tcf pass time test time-bug-reports time001 tcf pass time -- EiffelBase tests test array-is-equal array001 tcf pass array test array-consistency array002 tcf pass array test array-has array003 tcf pass array test array-occurrences array004 tcf pass array test list-is-equal list001 tcf pass list test list-put-extend list002 tcf pass list test clone-list list003 tcf pass list test merge-arrayed-list list004 tcf pass list test remove-prune-arrayed-list list005 tcf pass list test duplicate-arrayed-list list006 tcf pass list test insert-arrayed-list list007 tcf pass list test arrayed-list-prune-all list008 tcf pass list test arrayed-list-put-* list009 tcf pass list test fixed-list-queries list010 tcf pass list test merging-compatible-arrayed-list list011 tcf pass list test disjoint-sets set001 tcf pass set test disjoint-sets-expanded set001a tcf pass set test disjoint-sets-heterogenous set001b tcf pass set test symdif-sets set002 tcf pass set test symdif-sets-heterogenous set002a tcf pass set test prune-tree-set set003 tcf pass set test linear-subset-move set004 tcf pass set test tree-is-equal tree001 tcf pass tree test tree-clone tree002 tcf pass tree test tree-tests tree003 tcf pass tree test tree-copy tree004 tcf pass tree test string-regression string001 tcf pass string test insert-default-key table001 tcf pass table test replace_key_cycle table002 tcf pass table test replace_key_conflict_not_found table003 tcf pass table test replace_key_replace_item table004 tcf pass table test iteration-with-default-key table005 tcf pass table test infinite-loop-on-removal-then-addition table006 tcf pass table -- For testing only -- test keep-recompiling fake001 tcf testing test test-auto-resize fake002 tcf pass test many-similar-class-names fake003 tcf pass test test1 fake004 tcf fail test test2 fake005 tcf pass test whip-it-good fake006 tcf pass -- Syntax tests test generic-zero-parms syntax001 tcf pass syntax test no-index-tag syntax002 tcf pass syntax test semicolons-not-optional syntax003 tcf pass syntax test empty-export-feature-list syntax004 tcf pass syntax test empty-multi-branch-choices syntax005 tcf pass syntax test zero-equals-zero syntax006 tcf pass syntax test syntax-disagreements-1 syntax007 tcf pass syntax test creation-client-no-feats syntax008 tcf pass syntax test empty-strip-expression syntax009 tcf pass syntax test empty-manifest-array syntax010 tcf pass syntax test valid-anchored-decl syntax011 tcf fail syntax test bit-type-with-plus syntax012 tcf pass syntax test empty-index-list syntax013 tcf pass syntax test free-operator-reject syntax014 tcf fail syntax test long-string-constant syntax015 tcf pass syntax test strip-no-prefix-opers syntax016 tcf fail syntax test std-operator-case-sensitive syntax017 tcf pass syntax test syntax-disagreements-2 syntax018 tcf fail syntax test illegal-multi-branch syntax019 tcf pass syntax test reserved-words-not syntax020 tcf pass syntax test invalid-generic-constraint3 syntax021 tcf pass syntax test std-operator-trailing-null syntax022 tcf pass syntax test not-all-chars-significant syntax023 tcf pass syntax test manifest-string-blank-lines syntax024 tcf fail syntax test null-or-ctrl-a-syntax syntax025 tcf pass syntax test fairly-long-identifier syntax026 tcf pass syntax test routine-empty-arg-list syntax027 tcf pass syntax test manifest-string-percent-space syntax028 tcf fail syntax test external-lower-case-c-lang syntax029 tcf pass syntax test include-missing-last-delimiter syntax030 tcf pass syntax test external-tab-after-macro syntax031 tcf pass syntax test external-proc-sig-return-type syntax032 tcf pass syntax test point-e-one-real-constant syntax033 tcf pass syntax test qualified-call-e-forty-seven syntax034 tcf pass syntax test infix-pass-feature-address syntax035 tcf pass syntax test assign-addr-expr-to-pointer syntax036 tcf fail syntax test cast-arg-type-with-parens syntax037 tcf fail syntax test bogus-string-syntax-error syntax038 tcf pass syntax test trailing-indexing-no-semicolon syntax039 tcf pass syntax test external-with-punctuation syntax040 tcf pass syntax test generic-create-empty-feat-list syntax041 tcf fail syntax test external-nonwhite-chars-ignored syntax042 tcf fail syntax test agent-parens-zero-args syntax043 tcf pass syntax test empty-convert-clause syntax044 tcf fail syntax test verbatim-manifest-string syntax045 tcf pass syntax test integer-constant-range syntax046 tcf pass syntax -- Validity tests test bad-class-end-comment valid001 tcf pass validity test bad-infix-feature valid002 tcf pass validity test class-not-in-universe valid003 tcf pass validity test invalid-local-rescue valid004 tcf pass validity test local-same-as-formal valid005 tcf pass validity test invalid-precondition valid006 tcf pass validity test invalid-use-of-old valid007 tcf pass validity test invalid-entity-assertion-tag valid008 tcf pass validity test invalid-bit-type valid009 tcf pass validity test rename-infix-to-prefix valid010 tcf pass validity test anchored-type-violation valid011 tcf pass validity test invalid-creation-instruction valid012 tcf pass validity test inherited-assign-violation valid013 tcf fail validity test illegal-formal-generic valid014 tcf pass validity test none-as-formal-generic valid015 tcf pass validity test require-else-ensure-then valid016 tcf pass validity test void-as-bool-or-int valid017 tcf pass validity test illegal-address-use valid018 tcf pass validity test redefine-subclause-violation valid019 tcf fail validity test expanded-type-violation2 valid020 tcf pass validity test expanded-type-avail-viol valid021 tcf pass validity test anchored-formal-generic valid022 tcf pass validity test invalid-generic-constraint2 valid023 tcf pass validity test export-validity-viol valid024 tcf pass validity test bad-external-language valid025 tcf pass validity test basic-type-generic-deriv valid026 tcf pass validity test bad-generic-deriv-creation-type valid027 tcf pass validity test generic-parm-conform valid028 tcf pass validity test deferred-root-class valid029 tcf pass validity test expanded-redeclaration valid030 tcf pass validity test valid-feature-rename valid031 tcf pass validity test valid-repeated-inheritance valid032 tcf fail validity test valid-like-generic-deriv valid033 tcf pass validity test valid-repeated-inheritance2 valid034 tcf pass validity test conformance-inconsistency valid035 tcf fail validity test multi-branch-empty-intervals valid036 tcf pass validity test op-feat-cant-be-used valid037 tcf pass validity test addr-args-not-pointer valid038 tcf pass validity test valid-once-redefine valid039 tcf pass validity test valid-once-undefine valid040 tcf pass validity test result-in-none-func valid041 tcf pass validity test repeat-inher-vmrc-violation valid042 tcf pass validity test manifest-array-conform valid043 tcf pass validity test bit-constant-diff-length valid044 tcf pass validity test vtct-on-generic-5 valid045 tcf pass validity test actual-generic-anchor-feat valid046 tcf pass validity test valid-actual-generic valid047 tcf pass validity test redecl-violation valid048 tcf pass validity test local-entity-wrong-error valid049 tcf pass validity test vuar-called-vuex valid050 tcf pass validity test veen-called-other-viol valid051 tcf pass validity test generic-constrained-by-generic valid052 tcf pass validity test spurious-vtat-on-bit valid053 tcf pass validity test vuar-called-vuar2 valid054 tcf pass validity test vtug-called-vtug3 valid055 tcf pass validity test pointer-ref-conformance valid056 tcf pass validity test spurious-vgcc2 valid057 tcf pass validity test illegal-attributes valid058 tcf pass validity test rename-feature-to-self valid059 tcf pass validity test generic-expanded-client2 valid060 tcf pass validity test old-in-precond-bogus-vaol2 valid061 tcf pass validity test old-result valid062 tcf pass validity test exclude-recompile-vd14 valid063 tcf pass validity test expanded-multi-creation-procs valid064 tcf pass validity test vreg-formal-multiple valid065 tcf pass validity test nonexistent-vlec valid066 tcf fail validity test old-void valid067 tcf pass validity test veen-on-hashable-default valid068 tcf pass validity test all-unique-bogus-vomb-3 valid069 tcf fail validity test vtug1-called-vtug2 valid070 tcf pass validity test vtug2-called-vtug1 valid071 tcf pass validity test vgcc5-called-vgcc6 valid072 tcf fail validity test undefine-external-make-internal valid073 tcf pass validity test vgcc4-called-vgcc6 valid074 tcf fail validity test vqmc-extra-bogus-vffd7 valid075 tcf fail validity test undef-mult-precursors valid076 tcf fail validity test vjaw-called-vuar1 valid077 tcf fail validity test vkcn-sneak valid078 tcf pass validity test replicated-feat-multiple-select valid079 tcf fail validity test double-assigned-to-real valid080 tcf pass validity test precondition-too-secret valid081 tcf pass validity test selective-export-operator-feat valid082 tcf fail validity test operator-feat-export-to-self valid083 tcf fail validity test vape-involving-current valid084 tcf pass validity test secret-precondition-heir-export valid085 tcf fail validity test secret-func-arg-in-precondition valid086 tcf pass validity test vtct-on-valid-class valid087 tcf pass validity test creation-proc-secret-precond valid088 tcf fail validity test join-features-invalid-vuex valid089 tcf fail validity test switch-parents-vuex-gone valid090 tcf fail validity test inspect-char-inside-inspect-int valid091 tcf pass validity test vomb2-called-veen valid092 tcf pass validity test vtcg-instead-of-vtug2 valid093 tcf pass validity test misleading-vhrc2-and-vhrc3 valid094 tcf pass validity test precond-call-chain-vape valid095 tcf pass validity test like-current-generic-vlec valid096 tcf pass validity test generic-attr-call-bad-type valid097 tcf pass validity test expanded-generic-conformance valid098 tcf pass validity test bogus-vtcg valid099 tcf pass validity test creation-bad-actual-generic valid100 tcf pass validity test inheritance-bad-actual-generic valid101 tcf pass validity test attribute-anchored-to-generic valid102 tcf pass validity test two-anchored-actual-generics valid103 tcf pass validity test merge-anchored-bogus-vdjr valid104 tcf fail validity test replicate-then-share valid105 tcf fail validity test inherit-any-not-ancestor valid106 tcf pass validity test compare-procedure-to-void valid107 tcf pass validity test explicit-creation-bad-generic valid108 tcf pass validity test tricky-constraint-with-generic valid109 tcf pass validity test vgcc-called-vuar1 valid112 tcf fail validity test procedure-in-tuple valid113 tcf pass validity test generic-constraint-not-used valid114 tcf fail validity test two-generic-precursors valid115 tcf fail validity test invariant-result-address valid116 tcf pass validity test two-precursors-same-parent valid117 tcf fail validity test bogus-vupr2 valid118 tcf fail validity test nonconforming-generic-creation valid119 tcf pass validity test unreferenced-locals valid120 tcf pass validity test default-create-no-vd27 valid121 tcf fail validity test agent-bad-actual-generic valid122 tcf pass validity test restricted-creation-wrong-vtcg valid123 tcf pass validity test inherited-vgcc valid124 tcf fail validity test inherited-vjar valid125 tcf fail validity test generic-like-current-vjar valid126 tcf pass validity test vwoe-on-integer-remainder valid127 tcf pass validity test generic-static-vtcg valid128 tcf pass validity test inconsistent-vsta1 valid129 tcf fail validity test bogus-vd43 valid130 tcf pass validity test anchored-argument-bogus-vdjr valid131 tcf fail validity test vdrd3-ensure-then valid132 tcf pass validity test indirect-vlec valid133 tcf fail validity test generic-create-deferred valid134 tcf fail validity test bit-identifier-in-generic valid135 tcf fail validity test bad-bit-identifier-in-static valid136 tcf pass validity test assign-minimum-integer-vjar valid137 tcf pass validity test anchored-bogus-vsrp2 valid138 tcf pass validity test default-create-vtcg valid139 tcf pass validity test clients-duplicate-class-name valid140 tcf fail validity test manifest-string-vqmc-sneak valid141 tcf pass validity test c-inline-without-alias valid142 tcf pass validity test cpp-delete-anchored-arg valid143 tcf pass validity test pass-manifest-array-expanded valid144 tcf pass validity test expanded-expanded-conformance valid145 tcf pass validity test precompiled-vdcn-sneak valid146 tcf fail validity test cluster-include-std-class-file valid147 tcf fail validity test nested-manifest-array-vuar valid148 tcf fail validity test undefine-external-vdus2 valid149 tcf pass validity test static-ext-inherit-assertion valid150 tcf fail validity test deferred-change-signature valid151 tcf fail validity test agent-open-operand-generic valid152 tcf fail validity test prefix-at-not-equal valid153 tcf pass validity test convert-from-array-none valid154 tcf pass validity test expanded-formal-generic valid155 tcf fail validity test convert-manifest-array-to-array valid156 tcf pass validity test convert-on-precursor-and-anchors valid157 tcf pass validity test vtug-not-reported-on-anchor valid158 tcf pass validity test inspect-with-anchor-type valid159 tcf pass validity test array-double-array-none valid160 tcf pass validity test missing-vuar-on-argument-anchor valid161 tcf fail validity test vtat-reported-on-valid-anchoring valid162 tcf pass validity test valid-manifest-arrays-tuples valid163 tcf pass validity test agent-on-anchored-target valid164 tcf pass validity test creation-on-anchor-which-is-formal valid165 tcf pass validity test formal-conversion-to-reference valid166 tcf pass validity test like-boolean-in-boolean-expressions valid167 tcf pass validity test like-anchor-instantiation-in-generic valid168 tcf pass validity test incorrect-vgcc1-error valid169 tcf pass validity test like-current-as-actual-generic valid170 tcf pass validity test inherit-like-anchor-to-like-current valid171 tcf pass validity test conversion-on-type-with-like-current valid172 tcf pass validity test open-agen-target-wrong_type valid173 tcf pass validity test override-bogus-export-error valid174 tcf pass validity test static-call-on-formal-generic-type valid175 tcf pass validity test inherited-generic-type-validation valid176 tcf fail validity test invalid-assignment-to-like-curent valid177 tcf pass validity test named-tuple-creation valid178 tcf pass validity test formal-as-argument-no-conformance valid179 tcf pass validity test inherited-infix-type-checking-failure valid180 tcf pass validity test inherited-agent-with-formal-in-assertions valid181 tcf pass validity test expanded-conformance valid182 tcf pass validity test expanded-none-conformance valid183 tcf pass validity test once-inline-agent valid184 tcf pass validity test precursor-in-invariant valid185 tcf pass validity test precursor-in-inline-agent valid186 tcf pass validity test octal-integer-error valid187 tcf pass validity test binary-integer-error valid188 tcf pass validity test binary-octal-representation valid189 tcf pass validity test manifest-character-encoding valid190 tcf pass validity test character-encoded-too-large valid191 tcf pass validity test creation-procedure-restriction valid192 tcf pass validity test inspect-on-different-unique valid193 tcf pass validity unique inspect test excessive-unique-constants valid194 tcf pass validity unique test convert-to-current-type valid195 tcf fail validity vycq convert test convert-to-possible-actual-type valid196 tcf fail validity vycq convert test convert-to-base-class valid197 tcf fail validity vycq convert test convert-to-base-class-inherited valid198 tcf pass validity vycq convert test convert-to-base-class-inherited2 valid199 tcf pass validity vycq convert test convert-to-base-class-inherited3 valid200 tcf pass validity vycq convert test formal-as-base-type-for-generic valid201 tcf pass validity formal generic test single-constraint-formal-renaming valid202 tcf pass validity formal generic test inherit-from-expanded valid203 tcf pass validity frozen expanded test recheck-assertion-feature-renamed valid204 tcf pass validity assertion renaming test recursive-generic-constraint-with-creation valid205 tcf pass validity test named-tuple-in-parent-constraint-clauses valid206 tcf pass validity test valid-generic-derivation valid207 tcf pass validity test creation-constraint-like-current-deferred valid208 tcf pass validity test creation-constraint-like-current-deferred2 valid209 tcf pass validity test vtcg-expanded valid210 tcf pass validity test vtcg-generic valid211 tcf pass validity test wrong-vgcc valid212 tcf pass validity test named-tuple-convert-conformance valid213 tcf fail validity test nested-generics-creation-readiness valid214 tcf valid test static-comparison-test valid215 tcf fail validity test generic-creation-constraint valid216 tcf fail validity -- System validity tests test svalid-infix-with-conversion svalid001 tcf pass system validity -- Incrementality tests test vlec-sneak incr001 tcf pass incrementality test chg-inspect-const-type incr002 tcf pass incrementality test vscn-sneak incr003 tcf pass incrementality test vuex-sneak incr004 tcf pass incrementality test vcfg-sneak incr005 tcf pass incrementality test vdrd-sneak incr006 tcf pass incrementality test vwbe-sneak incr007 tcf pass incrementality test vjrv-sneak incr008 tcf pass incrementality test vuar-sneak incr009 tcf pass incrementality test vtat-sneak incr010 tcf pass incrementality test veen-sneak incr011 tcf pass incrementality test vtbt-sneak incr012 tcf pass incrementality test vd29-sneak incr014 tcf pass incrementality test vtec-compiler-wrong incr015 tcf pass incrementality test chg-class-name incr016 tcf pass incrementality test switch-class-names incr017 tcf pass incrementality test vlec-compiler-wrong incr018 tcf pass incrementality test vdrd-compiler-wrong incr019 tcf pass incrementality test vd10-becomes-syntax-error incr021 tcf pass incrementality test generic-pass-one-twice incr022 tcf pass incrementality test expanded-deferred-exception incr023 tcf pass incrementality test vtug-retry incr024 tcf pass incrementality test valid-like-generic-deriv incr025 tcf pass incrementality test cut-long-client-chain incr026 tcf pass incrementality test generic-root-vcfg incr027 tcf pass incrementality test pass4-melt-exception incr028 tcf pass incrementality test deferred-to-const-attr incr029 tcf pass incrementality test repeated-func-to-attr incr030 tcf pass incrementality test external-info-exception incr031 tcf pass incrementality test mystery-bug incr032 tcf pass incrementality test dispatch-unit-exception incr033 tcf pass incrementality test unsolved-type incr034 tcf pass incrementality test chg-expanded-actual-generic incr035 tcf pass incrementality test chg-root-class-name incr036 tcf pass incrementality test del-add-kernel-cluster incr037 tcf pass incrementality test cannot-update-types incr038 tcf pass incrementality test add-generic-constraint incr039 tcf pass incrementality test intro-vwoe-precondition incr040 tcf pass incrementality test change-delete-invariant incr041 tcf pass incrementality test delete-add-invariant incr042 tcf pass incrementality test unique-not-unique incr043 tcf pass incrementality test unique-not-consecutive incr044 tcf pass incrementality test chg-integer-const-value incr045 tcf pass incrementality test expanded-class-bad-behavior incr046 tcf pass incrementality test expanded-generic-exec-panic incr047 tcf pass incrementality test call-proc-print-attr incr048 tcf pass incrementality test remove-inheritance-cycle incr049 tcf pass incrementality test rename-secret-attribute incr050 tcf pass incrementality test add-vscn-violation incr051 tcf pass incrementality test bogus-vd27 incr052 tcf pass incrementality test expand-attribute incr053 tcf pass incrementality test vdrd7-sneak incr054 tcf pass incrementality test move-external-make-do incr055 tcf pass incrementality test fix-constrained-actual-generic incr056 tcf pass incrementality test vtec-sneak incr057 tcf pass incrementality test chg-inspect-const-value incr058 tcf pass incrementality test bogus-vaol incr059 tcf pass incrementality test vgcc-sneak incr060 tcf pass incrementality test cannot-write-updt incr061 tcf pass incrementality test change-generic-derived-external incr062 tcf pass incrementality test bogus-vaol2 incr063 tcf pass incrementality test bogus-vd27-2 incr064 tcf pass incrementality test nonexistent-vmrc incr065 tcf pass incrementality test vd38-sneak incr066 tcf fail incrementality test del-creation-proc-add-two incr067 tcf pass incrementality test invariant-expanded-generic incr068 tcf pass incrementality test bogus-vcfg incr069 tcf fail incrementality test chg-invariant-expr-type incr070 tcf pass incrementality test delete-finite-add-back incr071 tcf pass incrementality test expand-generic-no-creation-call incr072 tcf pass incrementality test change-attr-expanded-type incr073 tcf pass incrementality test bogus-vlec incr074 tcf pass incrementality test vtbt-weasel incr075 tcf pass incrementality test vwst-sneak incr076 tcf pass incrementality test string-to-bit1 incr077 tcf pass incrementality test string-to-bit-refreeze incr078 tcf pass incrementality test vuar-weasel incr079 tcf pass incrementality test vjaw-delete-creation-clause incr080 tcf pass incrementality test name-exists-invariant incr082 tcf pass incrementality test exclude-any-add-back incr083 tcf pass incrementality test chg-bit-length-refreeze incr084 tcf pass incrementality test create-chg-to-nonexpanded incr085 tcf pass incrementality test frozen-feat-bogus-vd27 incr086 tcf pass incrementality test vomb-sneak incr087 tcf pass incrementality test new-ace-root-still-vscn incr088 tcf fail incrementality test delete-generic-class-header incr089 tcf pass incrementality test vtbt-granddad-weasel incr090 tcf pass incrementality test intro-vtat-attr-to-proc incr091 tcf pass incrementality test vomb2-called-vomb5 incr092 tcf pass incrementality test vcfg1-called-vffd7 incr093 tcf fail incrementality test bogus-vdrs incr094 tcf pass incrementality test vwst-cant-find-feature incr095 tcf pass incrementality test vgcp-sneak incr096 tcf pass incrementality test anchored-constraint-touch-file incr097 tcf pass incrementality test redef-external-chg-to-effect incr098 tcf pass incrementality test vjaw-sneak incr099 tcf pass incrementality test external-with-alias-new-root incr100 tcf pass incrementality test vncb-sneak incr101 tcf pass incrementality test bigger-bit-func-wrong-value incr102 tcf fail incrementality test vdrd-weasel incr103 tcf pass incrementality test ext-with-alias-new-cluster incr104 tcf pass incrementality test veen-cant-find-feature incr105 tcf pass incrementality test no-precomp-chg-class-name incr106 tcf pass incrementality test root-none-remove-cluster incr107 tcf pass incrementality test veen2-called-veen22 incr108 tcf pass incrementality test bool-string-to-bit-ref incr109 tcf pass incrementality test chg-expanded-source-freeze incr110 tcf pass incrementality test melt-chg-attr-type-freeze incr111 tcf pass incrementality test actual-generic-vtbt-sneak incr112 tcf pass incrementality test vtcg-sneak incr113 tcf pass incrementality test vtat1-called-vtcg incr114 tcf pass incrementality test new-root-cluster-bogus-vscn incr115 tcf fail incrementality test delete-ace-resume-compile incr116 tcf pass incrementality test new-precomp-cluster-bogus-vd41 incr117 tcf pass incrementality test short-manifest-bit-array-arg incr118 tcf pass incrementality test reduce-bit-attribute-size incr119 tcf pass incrementality test vuar1-called-veen incr120 tcf pass incrementality test none-then-string-generic incr121 tcf pass incrementality test switch-expanded-attributes incr122 tcf pass incrementality test add-attribute-wrong-strip incr123 tcf pass incrementality test switch-parents-assertion-order incr124 tcf pass incrementality test change-numeric-formal-argument incr125 tcf pass incrementality test generic-veen-sneak incr126 tcf pass incrementality test add-unused-formal-generic incr127 tcf pass incrementality test make-generic-expanded-freeze incr128 tcf pass incrementality test vtcg-in-generic-constraint incr129 tcf fail incrementality test vtct-vtcg-die-degree-5 incr130 tcf pass incrementality test finalize-remove-expanded-type incr131 tcf pass incrementality test external-arg-signature-mismatch incr132 tcf pass incrementality test bogus-vd28 incr133 tcf fail incrementality test remove-part-of-external-decl incr134 tcf pass incrementality test cast-external-add-white-space incr135 tcf pass incrementality test make-visible-class-unreachable incr136 tcf fail incrementality test fix-veen-add-vrfa incr137 tcf pass incrementality test vtcg-weasel incr138 tcf pass incrementality test rename-get-new-precursor incr139 tcf pass incrementality test add-remove-root-generic incr140 tcf pass incrementality test none-then-tuple-generic incr141 tcf pass incrementality test make-root-expanded-freeze incr142 tcf pass incrementality test change-expanded-tuple-bit incr143 tcf pass incrementality test vtcg-remove-creation-feat incr144 tcf fail incrementality test add-remove-vsrt incr145 tcf pass incrementality test add-remove-constraint-vtcg incr146 tcf pass incrementality test melt-then-empty-ace incr147 tcf pass incrementality test vtcg-creator-try-again incr148 tcf pass incrementality test unreachable-syntax-error incr149 tcf fail incrementality test add-remove-veen-freeze incr150 tcf pass incrementality test finalize-move-attribute incr151 tcf pass incrementality test vtcg-remove-creation-clause incr152 tcf fail incrementality test change-once-to-do incr153 tcf pass incrementality test invalid-expanded-generic incr154 tcf pass incrementality test vjar-sneak incr155 tcf fail incrementality test resume-vtcg-none-actual incr156 tcf fail incrementality test constraint-cycle-change-generic incr157 tcf pass incrementality test vsrt-vtct-vcfg-die incr158 tcf pass incrementality test vtct-vcfg-vsrt-die incr159 tcf pass incrementality test alternate-vd27-and-vsrt incr160 tcf pass incrementality test missing-rescue-clause incr161 tcf pass incrementality test vupr-sneak incr162 tcf fail incrementality test switch-generics-tricky-vtcg incr163 tcf fail incrementality test delete-parent-vtcg-sneak incr164 tcf pass incrementality test switch-generics-tricky-vdrd incr165 tcf pass incrementality test change-external-melt incr166 tcf pass incrementality test make-synonyms-vupr-sneak incr167 tcf fail incrementality test add-alternative-precondition incr168 tcf fail incrementality test change-created-actual-generic incr169 tcf pass incrementality test vmfn-new-deferred-ancestor incr170 tcf pass incrementality test external-routine-madness incr171 tcf pass incrementality test resume-ace-syntax-error incr172 tcf pass incrementality test byte-node-disaster incr173 tcf pass incrementality test vxrc-sneak incr174 tcf pass incrementality test set-has-loop-disaster incr175 tcf pass incrementality test backup-directory-disaster incr176 tcf fail incrementality test finalize-then-melt incr177 tcf pass incrementality test freeze-expanded-finalize incr179 tcf pass incrementality test make-const-variable-freeze incr180 tcf pass incrementality test constant-variable-function incr181 tcf pass incrementality test add-inherited-assertions incr182 tcf pass incrementality test default-create-add-body incr183 tcf pass incrementality test turn-off-multithreaded incr184 tcf fail incrementality test change-cplusplus-to-c incr185 tcf pass incrementality test redefine-to-rename-refreeze incr186 tcf pass incrementality test env-in-braces-bogus-vd01 incr187 tcf pass incrementality test constant-variable-constant incr188 tcf fail incrementality test freeze-print-int64-array incr189 tcf pass incrementality test vsta-sneak incr190 tcf pass incrementality test refinalize-with-assertions incr191 tcf pass incrementality test freeze-const-freeze-finalize incr192 tcf pass incrementality test move-class-bogus-vd16 incr193 tcf fail incrementality test change-agent-return-type incr194 tcf pass incrementality test change-agent-noexp-return-type incr195 tcf pass incrementality test new-cluster-vscn-sneak incr196 tcf fail incrementality test create-sub-cluster-bogus-vd30 incr197 tcf fail incrementality test vgcc-weasel incr198 tcf fail incrementality test add-vuar-remove-finalize incr199 tcf pass incrementality test vtec-weasel incr200 tcf fail incrementality test vtcg-then-syntax-error-then-ok incr201 tcf pass incrementality test implicit-def-create-finalize incr202 tcf pass incrementality test remove-syntax-warning-yes incr203 tcf pass incrementality test bogus-vtec incr204 tcf pass incrementality test vgcc-remove-generic-creator incr205 tcf fail incrementality test expand-generic-remove-creation incr206 tcf pass incrementality test chg-indexing-tag-to-attribute incr207 tcf fail incrementality test bit-n-illegal-opcode incr208 tcf pass incrementality test external-make-precondition-true incr209 tcf pass incrementality test unexpand-class-no-conformance incr210 tcf fail incrementality test uninherit-any-vupr2-sneak incr211 tcf fail incrementality test c-inline-change-arg-order incr212 tcf pass incrementality test chg-generic-c-inline-function incr213 tcf pass incrementality test freeze-no-c-compile-melt incr214 tcf fail incrementality test chg-constraint-add-create incr215 tcf pass incrementality if not DOTNET test own-string-bogus-vgcc5 incr216 tcf pass incrementality test chg-external-function-type incr217 tcf pass incrementality test make-agent-target-expanded incr218 tcf pass incrementality test expand-unexpand-agent-target incr219 tcf fail incrementality test remove-constraint-veen-sneak incr220 tcf fail incrementality test vuex-weasel incr221 tcf fail incrementality test change-system-name incr222 tcf fail incrementality test function-attribute-constant incr223 tcf fail incrementality test vupr-weasel incr224 tcf fail incrementality test change-anchor-type-finalize incr225 tcf fail incrementality test precompile-again incr226 tcf fail incrementality test remove-ace-object-clause incr227 tcf fail incrementality test add-del-static-ext-assertion incr228 tcf pass incrementality test generic-agent-add-constraint incr229 tcf fail incrementality test remove-vtcg-still-complains incr230 tcf pass incrementality test vncp-sneak incr231 tcf fail incrementality test vifi-sneak incr232 tcf fail incrementality test bogus-vtct incr233 tcf pass incrementality test expanded-main-entry-vanished incr234 tcf fail incrementality test once-status-change incr235 tcf pass incrementality test generic-status-change incr236 tcf pass incrementality test remove-convert-clause incr237 tcf pass incrementality test infinite-recompilation incr238 tcf pass incrementality test typed-pointer-remove-expanded-derivation incr239 tcf pass incrementality test change-unique-in-inspect incr240 tcf pass incrementality test like-anchor-recompile-in-generic-class incr241 tcf pass incrementality test remove-two-classes-crash incr242 tcf pass incrementality test manifest-array-recompilation-crash incr243 tcf pass incrementality test vtct-vcfg-vsrt-die2 incr244 tcf pass incrementality test remove-add-root-cluster-crash incr245 tcf pass incrementality test replicated-once-recompilation incr246 tcf fail incrementality test change-manifest-type-expr incr247 tcf pass incrementality test manifest-type-expr-none incr248 tcf pass incrementality test internal-incrementality incr249 tcf fail incrementality test move-implementation incr250 tcf pass incrementality test assigner-for-synonym incr251 tcf pass incrementality test add-unique incr252 tcf pass incrementality test remove-rename-class incr253 tcf pass incrementality test add-generic-creation-specification incr254 tcf pass incrementality test remove-used-library incr255 tcf pass incrementality test cluster-into-library-error incr256 tcf pass incrementality test agent-add-arguments incr257 tcf pass incrementality test agent-add-derivation incr258 tcf pass incrementality test chg-class-with-inline-agent incr259 tcf pass incrementality test lazy-call-on-attribute-agent incr260 tcf pass incrementality test auto-properties-recompilation incr261 tcf pass incrementality dotnet test detect-override incr263 tcf pass incrementality test vtug-override incr264 tcf pass incrementality test add-remove-inline-agent incr265 tcf pass incrementality test chg-class-with-inline-agent incr266 tcf pass incrementality test resume-after-error-in-class-with-inline-agent incr267 tcf pass incrementality test change-generic-type-of-agent-target incr268 tcf pass incrementality test inline-agent-with-local-in-inherited-assertion incr269 tcf pass incrementality test class-conflict-error-sneak incr270 tcf pass incrementality test type-getting-confused incr271 tcf pass incrementality test wiping-out-types incr272 tcf pass incrementality test noclass-syntax incr273 tcf pass incrementality test gc-crash-in-melted-agent-creation incr274 tcf pass incrementality test expanded-not-expanded incr275 tcf pass incrementality test finalize-changed-agent-to-changed-feature incr276 tcf pass incrementality test inline-agent-from-scratch-bug incr277 tcf pass incrementality test changing-formals-invariant-not-removed incr278 tcf pass incrementality test changing-formals-precursor-crash incr279 tcf pass incrementality test console-setting-change incr280 tcf pass incrementality test vtcg-add-remove-missing-error incr281 tcf pass incrementality test funky-removal-of-type incr282 tcf pass incrementality test multi-constraint-incremental-crash incr283 tcf pass incrementality test removing-formal-crashes incr284 tcf pass incrementality -- Melting test divide-melt-panic melt001 tcf pass melting test bit-melt-metamorphose melt002 tcf pass melting test manifest-array-with-old melt003 tcf pass melting test ref-actual-expanded-formal melt004 tcf pass melting test real-const-arith-to-double melt005 tcf pass melting test multiple-unary-free-ops melt006 tcf pass melting test chained-assertion-melt melt007 tcf pass melting test melted-putreal-wrong melt008 tcf pass melting test invariant-melt-panic melt009 tcf pass melting test weird-sprintf-melt-panic melt010 tcf pass melting manual test manifest-array-int-double melt011 tcf pass melting test raise-exception-call-self melt012 tcf fail melting test invalid-assertion-level melt013 tcf pass melting test creation-proc-modify-target melt014 tcf pass melting test nested-expanded-creation melt015 tcf pass melting test chg-external-to-internal melt016 tcf pass melting test melted-invariant-memory-leak melt017 tcf pass melting test expanded-melted-equal-current melt018 tcf pass melting test postcondition-veen-then-restore melt019 tcf pass melting test invariant-veen-skip-invariant melt020 tcf pass melting test chg-argless-func-to-constant melt021 tcf pass melting test ensure-extend-linked-list melt022 tcf pass melting test old-expanded-melted-creations melt023 tcf fail melting test manifest-array-expanded-generic melt024 tcf pass melting test bit-two-to-the-twenty-four melt025 tcf pass melting test manifest-array-of-expanded melt026 tcf pass melting test expanded-clone-of-clone melt027 tcf pass melting test named-bit-constant-argument melt028 tcf pass melting test named-constant-call-out melt029 tcf pass melting test cloned-bit-actual-argument melt030 tcf fail melting test evaluate-old-when-retry melt031 tcf fail melting test eval-precondition-when-retry melt032 tcf pass melting test melted-two-level-rescue melt033 tcf pass melting test who-gets-exp-local-exception melt034 tcf fail melting test when-init-expanded-local melt035 tcf fail melting test manifest-array-elem-eval-order melt036 tcf fail melting test old-expression-eval-order melt037 tcf fail melting test pass-expanded-like-current melt038 tcf pass melting test generic-local-expanded-actual melt039 tcf pass melting test infix-integer-real-double melt040 tcf pass melting test bit-two-to-the-fifteen melt041 tcf pass melting test put-double-five-over-two melt042 tcf pass melting test expanded-creation-alloc-memory melt043 tcf pass melting test melted-creation-pass-target melt044 tcf pass melting test once-result-uninitialized melt045 tcf pass melting test melted-attribute-address melt046 tcf pass melting test null-in-debug-key melt047 tcf pass melting test melted-short-integers melt048 tcf pass melting test wide-char-comparison melt049 tcf pass melting test add-root-creation-arg melt050 tcf pass melting test wrong-field-count melt051 tcf pass melting test invariant-melted-once-function melt052 tcf pass melting test melted-integer-compare melt053 tcf pass melting test eval-precondition-on-retry melt054 tcf fail melting test melt-call-real-external melt055 tcf pass melting test melted-expanded-like-current melt056 tcf fail melting test melted-long-class-name melt057 tcf pass melting test melt-pass-bit-shift melt058 tcf pass melting test inspect-integer-64-one melt059 tcf pass melting test melted-profile-system melt060 tcf fail melting test integer-16-minus-one melt061 tcf pass melting test melted-invariant-invalid-object melt062 tcf fail melting test melted-void-expanded-arg melt063 tcf pass melting test melted-local-referers melt064 tcf fail melting test melted-profinfo-wrong-dir melt065 tcf fail melting test bit-n-out-of-memory melt066 tcf pass melting test expanded-generic-anchored-local melt067 tcf fail melting test melted-old-expanded-result melt068 tcf pass melting test expanded-list-like-current melt069 tcf fail melting test special-expanded-creation melt070 tcf pass melting test melt-old-expression-in-redefinition melt071 tcf pass execution test compare-var-attribute-addrs melt072 tcf fail execution test increment-character melt073 tcf pass execution test int64-cast-uint64 melt074 tcf pass execution test character_32-inspect melt075 tcf pass execution test invariant-check-melted-agent-callee melt076 tcf pass execution test dollar-with-tuple melt077 tcf pass execution test dollar-with-expanded-attribute melt078 tcf pass execution -- Freezing test bit-arg-extend-frozen freez001 tcf fail freezing test frozen-xor-precedence-error freez002 tcf pass freezing test extend-short-bit-constant freez003 tcf pass freezing test frozen-high-bit-characters freez004 tcf pass freezing test who-gets-old-exception freez005 tcf pass freezing test expanded-local-no-creation freez006 tcf pass freezing if not DOTNET test init-expanded-local-when-retry freez007 tcf fail freezing test redefine-expanded-to-attribute freez008 tcf fail freezing test assign-attempt-exp-to-ref freez009 tcf pass freezing test deep-clone-frozen-not-equal freez010 tcf pass freezing test compare-frozen-high-bit-chars freez011 tcf pass freezing test compare-frozen-real-arg freez012 tcf pass freezing test frozen-retried-precondition freez013 tcf pass freezing test tuple-expanded-and-integer freez014 tcf pass freezing test address-of-redefined-routine freez015 tcf fail freezing test integer-8-generating-type freez016 tcf pass freezing test frozen-agent-lighter-argument freez017 tcf pass freezing test frozen-prefix-attribute freez018 tcf pass freezing test tuple-i16-plus-i8 freez019 tcf pass freezing test minus-minus-double freez020 tcf pass freezing test dispose-with-rescue freez021 tcf pass freezing test anchored-double-function freez022 tcf fail freezing test real-times-real-postcondition freez023 tcf pass freezing test inspect-high-bit-integer8 freez024 tcf pass freezing test frozen-bitwise-and-local freez025 tcf pass freezing test wrong-generic-type-caching freez026 tcf pass freezing test freeze-with-unused-locals freez027 tcf pass freezing -- Finalizing test finalize-expanded-not-equal final001 tcf pass finalizing test finalize-debug-inst-not-kept final002 tcf pass finalizing test finalize-manifest-array-call final003 tcf pass finalizing test finalize-ensure-keep-dead final004 tcf pass finalizing test finalize-pass-wrong-argument final005 tcf pass finalizing test finalize-expanded-generic-bit final006 tcf pass finalizing test finalize-expand-creation-order final007 tcf pass finalizing test finalize-expanded-arg-result final008 tcf pass finalizing test finalize-array-optimization final009 tcf pass finalizing test finalize-random-arrayed-list final010 tcf pass finalizing test finalize-skip-rescue-clause final011 tcf pass finalizing test finalize-cast-func-result final012 tcf pass finalizing test finalize-array-opt-expanded final013 tcf pass finalizing test finalize-redef-external-macro final014 tcf pass finalizing test finalize-inline-precursor final015 tcf pass finalizing test finalize-array-opt-2 final016 tcf pass finalizing test finalize-delayed-deferred-call final017 tcf pass finalizing test finalize-inline-none-proc final018 tcf pass finalizing test inline-generic-assign-attempt final019 tcf pass finalizing test finalize-or-else-true final020 tcf pass execution test finalize-mult-double-constant final021 tcf pass execution test expanded-generic-return-type final022 tcf pass execution test bigger-array-of-bit final023 tcf pass execution test finalize-skip-invariant final024 tcf fail finalizing test inline-pass-expanded final025 tcf pass finalizing test c-inline-function-ten-args final026 tcf pass finalizing test inline-linked-list-expanded final027 tcf pass finalizing test vicious-finalize-bug final028 tcf pass finalizing test inline-arrayed-list-expanded final029 tcf pass finalizing test inline-void-argument final030 tcf pass finalizing test precursor-call-current-instead-of-precursor final031 tcf pass finalizing test finalize-manifest-type-expr final032 tcf pass finalizing test inline-once-string final033 tcf pass finalizing test inline-deferred-routine-with-only-one-implementation final034 tcf pass finalizing test dynamic-deferred-routine-implemented-in-generic final035 tcf pass finalizing test inline-deferred-routine-with-one-external-implementation final036 tcf pass finalizing test inline-deferred-routine-with-constants-implementations final037 tcf pass finalizing test agent_to_feature_of_generic_class final038 tcf pass finalizing -- Runtime test gc-tracking-001 runtime001 tcf pass runtime test gc-tracking-002 runtime002 tcf pass runtime test gc-expanded-in-special runtime003 tcf pass runtime expanded special -- Execution test print-double exec001 tcf pass execution test bit-out-wrong exec002 tcf pass execution test real-conform-double exec003 tcf pass execution test power-operator exec004 tcf pass execution test once-routine-precond-fail exec005 tcf pass execution test wrong-int-div exec006 tcf pass execution test old-current-ne-current exec007 tcf pass execution test plus-before-free-unary exec008 tcf pass execution test free-binary-wrong-precedence exec009 tcf pass execution test divide-by-real-zero exec010 tcf fail execution test expanded-creation-order exec011 tcf pass execution test redecl-implicit-precond exec012 tcf pass execution test bit-equal-wrong exec013 tcf pass execution test variable-attr-wrong-address exec014 tcf pass execution manual test readline-long-line-wrong exec015 tcf pass execution test rescue-floating-exception exec016 tcf pass execution test strip-wont-c-compile exec017 tcf pass execution test strip-with-void exec018 tcf pass execution test manifest-array-concat exec019 tcf pass execution test manifest-array-of-bits exec020 tcf pass execution test very-deep-clone exec021 tcf pass execution test out-of-locals exec022 tcf pass execution test prefix-oper-attribute exec023 tcf pass execution test long-linked-list-fails exec024 tcf pass execution test malloc-free-collect-coalesce exec026 tcf pass execution test memory-leak exec027 tcf fail execution skip test big-bit-attribute exec028 tcf pass execution test external-feature-address exec029 tcf pass execution test null-char-in-string exec030 tcf pass execution test uninit-root-class-arg exec031 tcf pass execution test int-equal-int exec032 tcf pass execution test wrong-oper-int-convert exec033 tcf pass execution test invariant-empty-property exec034 tcf pass execution test expanded-but-void-attribute exec035 tcf pass execution test expanded-creation-panic exec036 tcf pass execution test create-integer-then-incr exec037 tcf pass execution test once-expanded-result exec038 tcf pass execution test create-zero-len-bool-string exec039 tcf pass execution test merge-sort-panic exec040 tcf pass execution test random-memory-alloc-panic exec041 tcf pass execution test cecil-panic exec042 tcf pass execution manual test deep-clone-not-deep-equal exec043 tcf pass execution test auto-resize-exp-arrayed-list exec044 tcf pass execution test reference-to-sub-object exec045 tcf pass execution if not DOTNET test class-invariant-fail-panic exec046 tcf pass execution test clearer-ref-to-sub-object exec047 tcf fail execution test inline-external-root-proc exec048 tcf pass execution test wrong-alt-precondition-order exec049 tcf fail execution test join-effect-precond-skipped exec050 tcf fail execution test attribute-postcondition-lost exec051 tcf fail execution test arrayed-list-clone-not-equal exec052 tcf pass execution test root-no-class-invariant exec053 tcf pass execution test integer-ref-gt-integer exec054 tcf pass execution test expanded-generic-like-current exec055 tcf pass execution test skip-deferred-feat-assertions exec056 tcf fail execution test array-of-expanded-insert-fails exec057 tcf pass execution test once-bit-type-result exec058 tcf fail execution test bit-function-explicit-creation exec059 tcf pass execution test inherit-array-of-expanded exec060 tcf pass execution test bit-copy-panic-void-source exec061 tcf pass execution test conforms-to-with-generics exec062 tcf pass execution test deep-clone-panic exec063 tcf pass execution test random-string-blank-panic exec064 tcf pass execution test random-array-alloc-loop exec065 tcf pass execution test many-locals-deep-recursion exec066 tcf pass execution test big-expanded-attributes exec067 tcf pass execution test big-manifest-array-of-strings exec068 tcf pass execution manual test keep-on-stripping exec069 tcf pass execution test deep-exception-in-rescue exec070 tcf pass execution test few-locals-deep-recursion exec071 tcf pass execution test expanded-create-big-string exec072 tcf pass execution test negate-big-bit-local exec073 tcf pass execution test big-array-of-bit exec074 tcf pass execution test negative-eiffel-memory-used exec075 tcf pass execution test repeated-manifest-bit-array exec076 tcf pass execution test strip-with-expanded-attr exec077 tcf pass execution test manifest-array-of-strip exec078 tcf pass execution test rescue-recurse-many-retries exec079 tcf pass execution test diff-bit-constants-deep-equal exec080 tcf fail execution test print-null-get-nothing exec081 tcf pass execution test cloned-int-passed-to-double exec082 tcf pass execution test deep-clone-bit exec083 tcf fail execution test retry-forget-in-assertion exec084 tcf pass execution test rescue-show-exception-meaning exec085 tcf pass execution test long-short-bits-not-equal exec086 tcf pass execution test clone-integer-boolean-character exec087 tcf pass execution if not DOTNET test expanded-local-void-in-rescue exec088 tcf pass execution test generic-formal-bit-actual-arg exec089 tcf pass execution test print-char-dot-is-digit exec090 tcf pass execution test expanded-skip-class-invariant exec091 tcf fail execution test parent-invariants-reverse-order exec092 tcf pass execution test external-routine-skip-assertion exec093 tcf pass execution test many-big-expanded-locals exec094 tcf pass execution test internal-exception-memory-leak exec095 tcf fail execution test expanded-local-raise-exception exec096 tcf pass execution test generic-attributes-not-equal exec097 tcf pass execution test out-of-memory-on-out exec098 tcf pass execution test inherit-generic-wrong-call exec099 tcf fail execution test generic-constrained-by-double exec100 tcf pass execution test strip-bad-linked-list exec101 tcf pass execution test manifest-array-of-tiny-strings exec102 tcf pass execution test expanded-pass-current exec103 tcf fail execution test exception-in-dispose exec104 tcf fail execution test freeze-expanded-tuple-attr exec105 tcf pass execution test put-character-255 exec106 tcf pass execution test out-of-memory-panic exec107 tcf pass execution test redefine-expanded-as-attribute exec108 tcf pass execution test compare-var-to-default exec109 tcf pass execution test strip-memory-leak exec110 tcf fail execution test numeric-discrepancies exec111 tcf pass execution test melt-call-precomp-external exec112 tcf pass execution test all-chars-debug-key exec113 tcf fail execution test is-integer-ignores-null exec114 tcf pass execution test dynamic-runtime-bad-library exec115 tcf pass execution test agent-expanded-target exec116 tcf pass execution test print-integer64 exec117 tcf pass execution test print-max-negative-smallint exec118 tcf pass execution test safe-call-from-rescue exec119 tcf pass execution test multithreaded-string-blank exec120 tcf pass execution test assign-attempt-affects-source exec121 tcf pass execution test wrong-generating-type exec122 tcf pass execution test long-tuple-corrupts-memory exec123 tcf pass execution test replace-substring-with-self exec124 tcf pass execution test generic-generating-type exec125 tcf fail execution test create-tuple-of-tuples exec126 tcf fail execution test print-big-constant exec127 tcf pass execution test assign-attempt-redefined-type exec128 tcf pass execution test melted-boolean-to-integer exec129 tcf pass execution test negative-integer-8 exec130 tcf pass execution test melted-memory-copy exec131 tcf pass execution test is-integer-accepts-invalid exec132 tcf pass execution test agent-lighter-tuple-arg exec133 tcf pass execution test insert-hash-table-zero exec134 tcf pass execution test store-expanded-retrieve-wrong exec135 tcf pass execution test store-expanded-retrieve-dies exec136 tcf pass execution test array-expanded-not-deep-equal exec137 tcf pass execution test expanded-no-default-create exec138 tcf fail execution test retr-expanded-not-deep-equal exec139 tcf pass execution test linked-queue-linear-rep exec140 tcf pass execution test inspect-high-bit-char exec141 tcf pass execution test invariant-changes-current exec142 tcf fail execution test is-special-any-type-lies exec143 tcf pass execution test indep-store-big-array exec144 tcf pass execution test recursive-once-create-result exec145 tcf pass execution test frozen-floor-ceiling exec146 tcf pass execution test special-of-expanded exec147 tcf pass execution test generic-conformance-two-params exec148 tcf pass execution test real-const-with-underscores exec149 tcf pass execution test interior-null-in-debug-key exec150 tcf fail execution test huge-memory-leak exec151 tcf fail execution test bit-64-operations exec152 tcf fail execution test nested-manifest-array-gen-type exec153 tcf pass execution test explicit-expanded-creation exec154 tcf pass execution test expanded-add-default-create exec155 tcf fail execution test inherit-create-like-current exec156 tcf pass execution test array-bit-two-to-sixteen exec157 tcf pass execution test inspect-big-integer-64 exec158 tcf pass execution test long-name-exception-trace exec159 tcf pass execution test bigger-generation-object-limit exec160 tcf pass execution test negative-incremental-gc-stats exec161 tcf pass execution test many-generic-parameters exec162 tcf fail execution test odd-gc-chunk-size exec163 tcf pass execution test gc-expanded-expanded-attrs exec164 tcf pass execution test negative-hex-constant exec165 tcf pass execution test expanded-arg-macro-with-cast exec166 tcf pass execution test external-precond-string-arg exec167 tcf pass execution test external-infix-feature exec168 tcf pass execution test multithreaded-memory-leak exec169 tcf pass execution test external-precursor exec170 tcf pass execution test very-big-gc-chunk-size exec171 tcf fail execution skip test external-static-access exec172 tcf pass execution test static-access-generic-function exec173 tcf pass execution test inherit-create-like-attr exec174 tcf pass execution test generating-type-of-any exec175 tcf fail execution test assign-attempt-anchored-tuple exec176 tcf pass execution test generic-agent-generating-type exec177 tcf fail execution test agent-like-current-target exec178 tcf pass execution test area-wrong-generating-type exec179 tcf pass execution test unavailable-exception-trace exec180 tcf pass execution test wrong-exp-attribute-type exec181 tcf pass execution test wrong-dynamic-type exec182 tcf pass execution test special-expanded-access exec183 tcf pass execution test once-manifest-string exec184 tcf pass execution test array-expanded-expanded exec185 tcf pass execution test once-optimization exec186 tcf pass execution test negative-hexadecimal exec187 tcf pass execution test integer-overflow-type exec188 tcf pass execution test global-once-feature exec189 tcf pass execution test once-in-generic-class exec190 tcf pass execution test once-with-exception exec191 tcf pass execution test system-return-code exec192 tcf pass execution test catch-stack-overflow exec193 tcf pass execution test thread-assertion-monitoring exec194 tcf pass execution test last-exception-after-call exec195 tcf pass execution test inspect-on-character-interval exec196 tcf pass execution test basic-type-conversion exec197 tcf pass execution test bit-test-on-integer exec198 tcf pass execution test creation-of-formal-redefined-attribute exec199 tcf pass execution test anchor-argument-anchored-on-feature-or-formal exec200 tcf fail execution test tuple-real-double exec201 tcf pass execution test developer-exception-with-null exec202 tcf fail execution test nested-expanded-copy exec203 tcf pass execution test old-expressions-evaluated-when-they-should-not exec204 tcf pass execution test manifest-array-waste-locals exec205 tcf pass execution test like-current-generic-parameter exec206 tcf pass execution test result-lost-in-manifest-arrays-tuples exec207 tcf pass execution test expanded-type-intrinsic-feature exec208 tcf pass execution test once-manifest-string-in-once exec209 tcf pass execution test external-redeclared-to-attribute exec210 tcf pass execution test expanded-reattachment exec211 tcf pass execution test bad-invariant-code-in-expanded exec212 tcf pass execution test inherited-attribute-and-assigner exec213 tcf pass execution test attribute-and-assigner-coupling exec214 tcf pass execution test signed-unsigned-binary-operations exec215 tcf pass execution test empty-once-function exec216 tcf pass execution test inherited-expanded-generic exec217 tcf pass execution test any-expanded-agent exec218 tcf pass execution test to-character-32-truncated exec219 tcf pass execution test character-32-truncated exec220 tcf pass execution test melted-dispose-panic exec221 tcf pass execution test expanded-reverse-attachment exec222 tcf pass execution expanded attachment test extended-agent-test exec223 tcf pass execution test named-tuple-test exec224 tcf pass execution test expanded-generic-use exec225 tcf pass execution expanded generic test generic-named-tuple exec226 tcf pass execution test expanded-assignment-attempt exec227 tcf pass execution test routine-valid-operands exec228 tcf pass execution test double-clone exec229 tcf pass execution test infix-power-taking-double exec230 tcf pass execution test insert-expanded-in-list-of-any exec231 tcf pass execution test modification-of-basic-variable exec232 tcf pass execution test assertion-inline-agents-with-locals exec233 tcf pass execution test inlined-array exec234 tcf pass execution test inline-agents-and-generics exec235 tcf pass execution test inline-agents-reordering exec236 tcf pass execution test inline-agent-manifest-expr exec237 tcf pass execution test name-renaming-with-inline-agent-assertion exec238 tcf pass execution test correct-vpir-violation exec239 tcf pass execution test inline-agent-of-generic-type exec240 tcf pass execution test agent-in-inherited-assertion exec241 tcf pass execution test deferred-inline-agent exec242 tcf pass execution test external-inline-agent exec243 tcf pass execution test invariant-encapsulated-inline-agents exec244 tcf pass execution test remove-fake-inline-agent-from-invariant exec245 tcf pass execution test remove-feature-with-inline-agent exec246 tcf pass execution test type-check-invariant-inline-agent exec247 tcf pass execution test nan-min-max exec248 tcf pass execution test agent-in-nested-call-failure exec249 tcf pass execution test feature-only-referenced-by-dollar-op exec250 tcf pass execution test dollar-op-to-deferred-feature exec251 tcf pass execution test add-dollar-op-to-frozen-system exec252 tcf pass execution test creation-information-lost exec253 tcf pass execution test integer-constant-access exec254 tcf pass execution test cloning-disable-gc-tracking exec255 tcf pass execution test precursor-calling-itself exec256 tcf pass execution test numeric-type-comparison exec257 tcf pass execution test expanded-with-generics-in-generic-class exec258 tcf fail execution test expanded-with-generics-failure exec259 tcf fail execution test equality-on-expanded exec260 tcf pass execution test inspect-int-nat-big-endian exec261 tcf fail execution test anchor-on-feature-with-formal exec262 tcf fail execution test generating-type-of-type-parameter exec263 tcf pass execution test agent-on-attribute-with-open-target exec264 tcf pass execution test generator-on-typed-pointer exec265 tcf pass execution test feature-call-on-basic-generic exec266 tcf pass execution generic basic test expanded-formal-attached-to-reference exec267 tcf pass execution generic basic test tuple-with-basic-type exec268 tcf pass execution generic basic test signed-unsigned-in-inspect exec269 tcf pass execution inspect test mixed-basic-type-operations exec270 tcf pass execution inspect test wrong-agent-creation-type exec271 tcf pass execution inspect test expanded-derivation-reattachment exec272 tcf pass execution expanded generic test expanded-creation-semantics exec273 tcf pass execution expanded creation attachment clone test agent-for-expanded-derivation exec274 tcf pass execution expanded generic agent test merging-feature-with-formal exec275 tcf pass execution expanded generic merging test entry-point-defined exec276 tcf pass execution expanded generic merging test derivation-reverse-attachment exec277 tcf pass execution expanded generic attachment -- Compiler termination (exception trace, panic, etc.) test add-inheritance-cycle term001 tcf pass termination test remove-root-creation-proc term002 tcf pass termination test long-identifiers term003 tcf pass termination test anchored-creation-type term004 tcf pass termination test like-current-generic-constraint term005 tcf pass termination test function-with-many-args term006 tcf pass termination test unusual-none-use term007 tcf pass termination test void-as-variant term008 tcf pass termination test none-as-actual-generic term009 tcf pass termination test invalid-generic-constraint term010 tcf pass termination test manifest-array-call-target term011 tcf pass termination test long-bit-constant term012 tcf pass termination test bit-constraint-with-attr term013 tcf pass termination test deeply-nested-when term014 tcf pass termination test manifest-array-call-target2 term015 tcf pass termination test empty-external-feat-alias term016 tcf pass termination test array-of-big-bit term017 tcf pass termination test none-as-actual-generic2 term018 tcf pass termination test expanded-client-cycle term020 tcf pass termination test valid-weasel-bits term022 tcf pass termination test function-returning-none term023 tcf pass termination test bit-creation-type term024 tcf pass termination test expanded-local-panic term025 tcf pass termination test bad-generic-deriv-creation-type2 term026 tcf pass termination test many-same-generics term027 tcf pass termination test precompiled-missing-cluster term028 tcf pass termination test generic-constrained-by-its-class term029 tcf pass termination test expanded-client-3-cycle term030 tcf pass termination test generic-constr-by-generic-deriv term031 tcf pass termination test current-dot-void term032 tcf pass termination test real-decl-integer-constant term033 tcf pass termination test vlec-cycle-with-generics term034 tcf fail termination manual test create-negative-double-const term035 tcf pass termination test minimal-set-of-classes term036 tcf pass termination test def-int-func-redefine-none term037 tcf pass termination test root-none-creation-proc term039 tcf fail termination test expanded-generic-constr-by-self term041 tcf pass termination test redef-anchored-to-self-version term042 tcf pass termination test generic-constraint-cycle term043 tcf pass termination test explicit-create-def-gen-parent term044 tcf pass termination test strip-attribute-of-type-none term045 tcf pass termination test generic-constraint-bit-type term046 tcf pass termination test two-creation-clauses-one-empty term047 tcf pass termination test long-anchored-decl-chain term048 tcf pass termination test anchored-generic-multi-dot-call term049 tcf pass termination test formal-generic-in-constraint term050 tcf pass termination test generic-constraint-with-expand term051 tcf pass termination test vtcg-expanded-generic term052 tcf pass termination test expanded-manifest-array-item term053 tcf pass termination test nested-manifest-array-feat-call term054 tcf pass termination test long-comment term055 tcf pass termination test long-white-space term056 tcf pass termination test no-precomp-big-manifest-array term057 tcf pass termination test heavy-anded-bool-panic term058 tcf pass termination test feature-address-in-invariant term060 tcf pass termination test many-long-bit-constants term061 tcf pass termination test manifest-array-at-sign term062 tcf pass termination test non-windows-dll-external term063 tcf pass termination test external-omit-signature-args term064 tcf pass termination test finalize-big-inline-size term065 tcf pass termination test finalize-inline-remove-dead term067 tcf pass termination test too-many-signature-arguments term069 tcf pass termination test very-long-token term070 tcf pass termination test finalize-prefix-attribute term071 tcf pass termination test finalize-deferred-feature-call term072 tcf pass termination test finalize-array-opt-remove-dead term073 tcf pass termination test finalize-inline-strip-expr term074 tcf pass termination test assign-creation-expression term075 tcf pass termination test explicit-bit-creation term076 tcf pass termination test finalize-inline-array-expanded term077 tcf pass termination test finalize-inline-small-classes term078 tcf pass termination test simple-explicit-generic-create term079 tcf pass termination test generic-constrained-by-tuple term080 tcf pass termination test invariant-creation-expr term081 tcf pass termination test generic-nonexistent-creator term082 tcf pass termination test generic-nonexistent-infix term083 tcf pass termination test finalize-creation-expression term084 tcf pass termination test finalize-inline-delayed-call term085 tcf pass termination test invariant-delayed-closed-target term086 tcf pass termination test generic-creation-no-constraint term087 tcf pass termination test none-delayed-call term088 tcf pass termination test undef-external-call-precursor term089 tcf pass termination test generic-delayed-call-result term090 tcf fail termination test creation-constrained-by-generic term091 tcf fail termination test generic-constrained-by-none term092 tcf pass termination test generic-constrained-by-self term093 tcf fail termination test inherit-generic-and-any term094 tcf pass termination test generic-constrained-by-integer term095 tcf pass termination test finalize-inline-infix-external term096 tcf pass termination test long-system-name term098 tcf fail termination test external-c-plus-plus term100 tcf pass termination test slash-in-cluster-tag term101 tcf fail termination test finalize-missing-server-file term102 tcf pass termination test precomp-lib-wrong-version term103 tcf pass termination manual test generic-anchor-call-precursor term104 tcf pass termination test temporary-bug-1 term105 tcf pass termination test print-array-anchored-generic term106 tcf pass termination test add-remove-vcch-freeze term107 tcf fail termination test generic-static-constant term108 tcf pass termination test static-call-on-none term109 tcf pass termination test assign-attempt-manifest-array term110 tcf pass termination test finalize-nested-if term111 tcf pass termination test inherit-from-chain term112 tcf pass termination test msil-generation-yes term113 tcf pass termination test remove-formal-generic term114 tcf pass termination test change-generic-create term115 tcf fail termination test change-sysname-and-root term116 tcf pass termination test inline-numeric-plus-numeric term117 tcf pass termination test finalize-many-expanded-attrs term118 tcf pass termination test remove-constraint-veen-die term119 tcf fail termination test inspect-big-range term120 tcf fail termination skip test expanded-like-current-vlec term121 tcf pass termination test creation-expr-anchor-none term122 tcf pass termination test assign-address-expr term123 tcf pass termination test agent-open-operand-none term124 tcf pass termination test finalize-if-false term125 tcf pass termination test unreachable-visible-generic term126 tcf pass termination test manifest-array-to-array-conformance term127 tcf fail termination test infinite-loop-expanded-generics term128 tcf fail termination manual test create-generic-result-any term129 tcf pass termination test inline-routine-with-formal-conversion term130 tcf pass termination test finalize-manifest-array-with-anchor term131 tcf pass termination test anchored-generic-like-type term132 tcf pass termination test dynamic-generic-type term133 tcf pass termination test address-of-expanded-attribute term134 tcf pass termination test unary-on-formal term135 tcf pass termination test multiple-replicated-once term136 tcf pass termination test unknown-manifest-constant-type term137 tcf pass termination test invalid-constant-in-iterval-list term138 tcf pass termination test special-conformance term139 tcf pass termination test generic-renamed-in-expanded term140 tcf pass termination expanded generic rename test agent-on-feature-with-like-argument term141 tcf pass termination test separate-panic term142 tcf pass termination test creation-expression-in-inherited-assertion term143 tcf pass termination test inspect-using-static-procedure term144 tcf pass termination test constraint-type-comparison term145 tcf pass termination generic test missing-actual-generic-crash term146 tcf pass termination generic test actual-generic-none-crash term147 tcf pass termination generic -- Config test config-override config001 tcf pass config test config-debug-disabled config002 tcf pass config test config-quick-melt-override config003 tcf pass config test config-target-extends-itself config004 tcf pass config test config-remove-library config005 tcf pass config test config-debugs config006 tcf pass config test config-rename-change config007 tcf pass config -- Lace test lace-no-cluster-props lace003 tcf pass lace test lace-no-creation-proc lace007 tcf pass lace test lace-empty-include-exclude lace011 tcf pass lace test chg-cluster-name lace014 tcf pass lace test remove-unneeded-cluster lace015 tcf pass lace test root-cluster-case-sensitive lace016 tcf pass lace test class-named-none lace021 tcf fail lace test visible-export-nonexistent-feat lace022 tcf fail lace test lace-debug-key-subset lace024 tcf pass lace test visible-cluster-case-sensitive lace025 tcf pass lace test visible-under-same-name lace029 tcf fail lace test inlining-size-non-integer lace030 tcf pass lace test lace-system-special-chars lace031 tcf fail lace -- C code compilation/linking test void-gets-void ccomp001 tcf pass c_compilation test weird-operator-feat-name ccomp002 tcf fail c_compilation test weird-operator-feat-name2 ccomp003 tcf fail c_compilation test implies-wont-c-compile ccomp004 tcf pass c_compilation test divide-by-zero ccomp005 tcf pass c_compilation test visible-finalize-wont-link ccomp006 tcf pass c_compilation test finalize-assertion-all ccomp007 tcf pass c_compilation test finalize-void-parse-error ccomp008 tcf pass c_compilation test invariant-zero-equals-zero ccomp009 tcf pass c_compilation test frozen-bit-operations ccomp010 tcf pass c_compilation test finalize-inh-root-creation-proc ccomp011 tcf pass c_compilation test finalize-ext-root-creation-proc ccomp012 tcf pass c_compilation test strip-empty-list-freeze-cc ccomp013 tcf pass c_compilation test expanded-dead-code-removal ccomp014 tcf pass c_compilation test finalize-inh-exp-creation-proc ccomp015 tcf pass c_compilation test assign-attempt-basic-local-addr ccomp016 tcf pass c_compilation test assign-attempt-basic-type ccomp017 tcf pass c_compilation test finalize-expanded-to-reference ccomp018 tcf pass c_compilation test finalize-expanded-return-type ccomp019 tcf pass c_compilation test finalize-expanded-ext-creation ccomp020 tcf pass c_compilation test inherit-integer-call-remainder ccomp021 tcf pass c_compilation test expanded-generic-dead-code ccomp022 tcf pass c_compilation test external-func-with-signature ccomp023 tcf pass c_compilation test external-tab-between-includes ccomp024 tcf pass c_compilation test finalize-bit-return-type ccomp025 tcf pass c_compilation test finalize-call-undef-external ccomp026 tcf pass c_compilation test expanded-arg-with-cast ccomp027 tcf pass c_compilation test finalize-array-opt-pointers ccomp028 tcf pass c_compilation test finalize-wont-trace-visible ccomp029 tcf pass c_compilation test finalize-create-deferred-type ccomp030 tcf pass c_compilation test finalize-bit-attribute ccomp031 tcf pass c_compilation test freeze-generic-creation-expr ccomp032 tcf pass c_compilation test finalize-precomp-assertion-all ccomp033 tcf pass c_compilation test finalize-deferred-delayed-call ccomp034 tcf pass c_compilation test address-of-generic-attribute ccomp035 tcf pass c_compilation test address-of-default-rescue ccomp036 tcf pass c_compilation test inline-prefix-call ccomp037 tcf fail c_compilation test finalize-prefix-constant ccomp038 tcf pass c_compilation test frozen-real-constant ccomp039 tcf pass c_compilation test c-header-mismatch ccomp040 tcf pass c_compilation test generic-create-double ccomp041 tcf pass c_compilation test minus-minus-real ccomp042 tcf pass c_compilation test c-header-mismatch-2 ccomp043 tcf pass c_compilation test finalize-precomp-no-dead ccomp044 tcf pass c_compilation test finalize-ext-exp-inline-create ccomp045 tcf pass c_compilation test inline-c-ten-pass-local ccomp046 tcf pass c_compilation test inline-c-arg-prefix-other ccomp047 tcf pass c_compilation test pass-void-to-double ccomp048 tcf pass c_compilation test slash-power-on-formal-bad-code ccomp049 tcf pass c_compilation test print-pointer-local-address ccomp050 tcf pass c_compilation test inline-expanded-conversion ccomp051 tcf pass c_compilation test create-generic-conform-double ccomp052 tcf pass c_compilation test long-string-generation ccomp053 tcf pass c_compilation test inline-incorrect-with-cpp ccomp054 tcf pass c_compilation test polymorphic-dollar-agent-incorrect-wrapper ccomp055 tcf pass c_compilation test bad-macro-wrapping ccomp056 tcf pass c_compilation test bad-boolean-inline ccomp057 tcf pass c_compilation test agent-on-constant-attribute ccomp058 tcf pass c_compilation test add-generic-c-compile-failure ccomp059 tcf fail c_compilation test last-reverse-assignment-to-expanded ccomp060 tcf pass c_compilation expanded test adding-removing-classes-c-compile-error ccomp061 tcf pass c_compilation expanded test once-manifest-string-in-cpp-file ccomp062 tcf pass c_compilation test feature-call-via-cecil ccomp063 tcf pass c_compilation test deferred-to-string-constant ccomp064 tcf pass finalizing test built-in-unary-plus ccomp065 tcf fail c_compilation -- Storable tests test freeze-retrieval-mismatch store001 tcf pass storable test retrieve-corrupted-file store002 tcf pass storable test melt-retrieval-mismatch store003 tcf pass storable test melted-retrieve-list-expanded store004 tcf pass storable test store-tuple-integer store005 tcf pass storable test store-generic-reference-class-used-as-expanded store006 tcf pass storable test various-storable-format-testing store007 tcf pass storable test missing-type-retrieval store008 tcf pass storable test store-expanded-as-reference store009 tcf pass storable expanded test store-expanded-class-type store010 tcf pass storable expanded -- Flat, short, flatshort tests test rename-inherited-wrong-flat flat001 tcf pass flat manual test flat-after-change flat002 tcf pass flat manual test flat-feature-two-defs flat003 tcf pass flat manual test eff-class-flat-deferred-feature flat004 tcf pass flat manual test flat-multi-export-lists flat005 tcf fail flat manual test rename-inherited-bad-flat flat006 tcf pass flat manual -- Library class tests test unix-file-start-precond-error lib001 tcf pass library test string-copy-valid-count lib002 tcf pass library test file-copy-to lib003 tcf pass library test putenv-with-null lib004 tcf pass library test append-empty-arrayed_list lib005 tcf pass library test string-incorrect-hash-code lib006 tcf pass library test ptf-file-go lib007 tcf pass library test ptf-file-move lib008 tcf pass library test ptf-file-nextline lib009 tcf pass library test ptf-file-file-append lib010 tcf pass library manual test ptf-file-position lib011 tcf pass library test ptf-file-read-character lib012 tcf pass library test ptf-file-read-stream lib013 tcf pass library test ptf-file-recede lib014 tcf pass library test ptf-file-start lib015 tcf pass library test ptf-file-read-line lib016 tcf pass library test ptf-file-back lib017 tcf pass library manual test ptf-file-close lib018 tcf pass library test ptf-file-count lib019 tcf pass library test ptf-file-create lib020 tcf pass library test ptf-file-extend lib021 tcf pass library test ptf-file-finish lib022 tcf pass library test ptf-file-forth lib023 tcf pass library test file-change-name lib024 tcf pass library -- TUPLE tests test tuple-manipulation tuple001 tcf pass tuple test named-tuple-validation tuple002 tcf pass tuple test named-tuple-as-argument tuple003 tcf pass tuple test tuple-hashcode tuple004 tcf pass tuple test tuple-comparison tuple005 tcf pass tuple test tuple-twining tuple006 tcf pass tuple test named-tuple-assignment tuple007 tcf pass tuple test named-tuple-same-labels tuple008 tcf pass tuple test named-tuple-same-labels-crash tuple009 tcf pass tuple -- Systematic validity tests test validity-vsrt1-one-generic vsrt101 tcf pass validity vsrt test validity-vsrt1-two-generics vsrt102 tcf pass validity vsrt test validity-vsrt1-many-generics vsrt103 tcf pass validity vsrt test validity-vsrt1-add-generics vsrt104 tcf pass validity vsrt test validity-vsrt1-new-root vsrt105 tcf pass validity vsrt test validity-vsrt1-zero-generics vsrt106 tcf pass validity vsrt test validity-vsrt2-vsrp2-ok vsrt201 tcf pass validity vsrt vsrp test validity-vsrt3-deferred-root vsrt301 tcf pass validity vsrt test validity-vsrt3-chg-deferred vsrt302 tcf pass validity vsrt test validity-vsrp2-no-arguments vsrp201 tcf pass validity vsrp test validity-vsrp2-one-good-arg vsrp202 tcf pass validity vsrp test validity-vsrp2-one-conform-arg vsrp203 tcf pass validity vsrp test validity-vsrp2-one-bad-arg vsrp204 tcf pass validity vsrp test validity-vsrp2-many-arguments vsrp205 tcf pass validity vsrp test validity-vsrp2-bad-then-good vsrp206 tcf pass validity vsrp test validity-vsrp2-two-procedures vsrp207 tcf pass validity vsrp test validity-vsrp2-multi-procedures vsrp208 tcf pass validity vsrp test validity-vscn-same-cluster vscn001 tcf pass validity vscn test validity-vscn-diff-cluster vscn002 tcf fail validity vscn test validity-vscn-add-class vscn003 tcf pass validity vscn test validity-vcch-add-del vcch001 tcf pass validity vcch test validity-vdjr2-basic vdjr201 tcf pass validity vdjr test validity-vcch1-no-def-header vcch101 tcf pass validity vcch test validity-vcch1-add-def-feat vcch102 tcf pass validity vcch test validity-vcch1-del-def-header vcch103 tcf pass validity vcch test validity-vcch1-inherit-def vcch104 tcf pass validity vcch test validity-vcch1-undef-effective vcch105 tcf pass validity vcch test validity-vcch2-def-header1 vcch201 tcf pass validity vcch test validity-vcch2-def-header2 vcch202 tcf pass validity vcch test validity-vcch2-add-def-header1 vcch203 tcf pass validity vcch test validity-vcch2-add-def-header2 vcch204 tcf pass validity vcch test validity-vcch2-del-def-feat vcch205 tcf pass validity vcch test validity-vcch2-chg-def-feat vcch206 tcf pass validity vcch test validity-vcch2-inh-effective vcch207 tcf pass validity vcch test validity-vcfg1-basic vcfg101 tcf pass validity vcfg test validity-vcfg1-add-class vcfg102 tcf pass validity vcfg test validity-vcfg1-chg-generic vcfg103 tcf pass validity vcfg test validity-vcfg2-basic vcfg201 tcf pass validity vcfg test validity-vcfg2-root vcfg202 tcf pass validity vcfg test validity-vcrn-basic vcrn001 tcf fail validity vcrn test validity-vfav1-basic vfav101 tcf pass validity vfav test validity-vfav2-basic vfav201 tcf pass validity vfav test validity-vfav3-basic vfav301 tcf pass validity vfav test validity-vfav4-basic vfav401 tcf pass validity vfav test validity-vffd2-basic vffd201 tcf pass validity vffd test validity-vffd2-diff-decls vffd202 tcf pass validity vffd test validity-vffd3-basic vffd301 tcf pass validity vffd test validity-vffd4-basic vffd401 tcf pass validity vffd test validity-vffd5-basic vffd501 tcf pass validity vffd test validity-vffd6-basic vffd601 tcf pass validity vffd test validity-vffd7-once-generic vffd701 tcf pass validity vffd test validity-vffd7-once-anchored vffd702 tcf pass validity vffd test validity-vhpr1-self vhpr101 tcf pass validity vhpr test validity-vhpr1-other vhpr102 tcf pass validity vhpr test validity-vhpr1-long-cycle vhpr103 tcf pass validity vhpr test validity-vhrc-switch-names vhrc001 tcf pass validity vhrc test validity-vhrc-shift-names vhrc002 tcf pass validity vhrc test validity-vhrc1-basic vhrc101 tcf pass validity vhrc test validity-vhrc2-basic vhrc201 tcf pass validity vhrc test validity-vhrc3-basic vhrc301 tcf pass validity vhrc test validity-vhrc4-basic vhrc401 tcf pass validity vhrc test validity-vhrc5-basic vhrc501 tcf pass validity vhrc test validity-vlec1-self vlec101 tcf pass validity vlec test validity-vlec1-other vlec102 tcf pass validity vlec test validity-vlec1-self-generic vlec103 tcf pass validity vlec test validity-vlec1-other-generic vlec104 tcf pass validity vlec manual test validity-vlcp-basic vlcp001 tcf pass validity vlcp test validity-vlel1-mult-diff vlel101 tcf pass validity vlel test validity-vlel1-mult-same vlel102 tcf pass validity vlel test validity-vlel2-basic vlel201 tcf pass validity vlel test validity-vlel3-mult-same vlel301 tcf pass validity vlel test validity-vlel3-mult-diff vlel302 tcf pass validity vlel test validity-vmfn2-basic vmfn201 tcf pass validity vmfn test validity-vrfa-basic vrfa001 tcf pass validity vrfa test validity-vrfa-inherited vrfa002 tcf pass validity vrfa test validity-vreg-same vreg001 tcf pass validity vreg test validity-vreg-diff vreg002 tcf pass validity vreg test validity-vrrr-basic vrrr001 tcf pass validity vrrr test validity-vrle1-basic vrle101 tcf pass validity vrle test validity-vrle2-basic vrle201 tcf pass validity vrle test validity-vape-basic vape001 tcf pass validity vape test validity-vaol1-basic vaol101 tcf pass validity vaol test validity-vaol2-basic vaol201 tcf pass validity vaol test validity-vuex2-in-multibranch vuex201 tcf pass validity vuex -- Systematic Lace validity tests test lace-vd01-basic vd01001 tcf pass validity vd01 test lace-vd04-basic vd04001 tcf pass validity vd04 test lace-vd10-basic vd10001 tcf pass validity vd10 test lace-vd13-basic vd13001 tcf pass validity vd13 test lace-vd16-basic vd16001 tcf pass validity vd16 test lace-vd19-basic vd19001 tcf pass validity vd19 test lace-vd20-basic vd20001 tcf pass validity vd20 test lace-vd23-basic vd23001 tcf pass validity vd23 test lace-vd25-basic vd25001 tcf pass validity vd25 test lace-vd27-basic vd27001 tcf pass validity vd27 -- Regression tests of bugs which have been fixed test no-leading-white-space fixed001 tcf pass fixed test no-upper-bit-constants fixed002 tcf pass fixed test empty-creation-list fixed003 tcf pass fixed test bad-feature-decl fixed004 tcf pass fixed test syntax-wrong-positions fixed005 tcf pass fixed test empty-rename-list fixed006 tcf pass fixed test empty-inheritance-clauses fixed007 tcf pass fixed test big-strings fixed008 tcf pass fixed test inherit-index-small-enough fixed010 tcf pass fixed test creation-proc-function fixed011 tcf pass fixed test empty-free-operator fixed012 tcf pass fixed test class-name-confusion fixed013 tcf pass fixed test frozen-and-deferred fixed014 tcf pass fixed test case-sensitive-feature fixed015 tcf pass fixed test violate-has-a-new-name fixed016 tcf pass fixed test expanded-type-violation fixed017 tcf pass fixed test invalid-creation-instruction2 fixed018 tcf pass fixed test invalid-actual-generic fixed019 tcf pass fixed test empty-debug-key fixed020 tcf pass fixed test empty-when-part-list fixed021 tcf pass fixed test invalid-actual-generic2 fixed022 tcf pass fixed test invalid-actual-generic3 fixed023 tcf pass fixed test invalid-actual-generic4 fixed024 tcf pass fixed test invalid-actual-generic5 fixed025 tcf pass fixed test result-in-precondition fixed026 tcf pass fixed test invalid-select-change fixed027 tcf pass fixed test assign-rule-client-change fixed028 tcf pass fixed test inherit-chg-skip-pass fixed029 tcf pass fixed test precond-valid-cursor-index fixed030 tcf pass fixed test deep-function-nest fixed032 tcf pass fixed test multi-branch-empty-else fixed033 tcf pass fixed test multi-branch-interval fixed034 tcf pass fixed test conditional-empty-then fixed035 tcf pass fixed test repeated-rescue-panic fixed036 tcf pass fixed test creation-once-routine fixed037 tcf pass fixed test cluster-modified-viol fixed038 tcf pass fixed test chg-class-to-nonexistent fixed039 tcf pass fixed test bit-any-no-conform fixed040 tcf pass fixed test nonexistent-root-class fixed041 tcf pass fixed test missing-class-header fixed042 tcf pass fixed test lace-syntax-error-retry fixed043 tcf pass fixed test invalid-actual-generic6 fixed044 tcf pass fixed test const-and-boolean-op fixed045 tcf pass fixed test lace-string-case fixed046 tcf pass fixed test lace-invalid-root-name fixed048 tcf pass fixed test lace-nonexistent-options fixed050 tcf pass fixed test lace-null-class-name2 fixed052 tcf pass fixed test lace-null-class-name3 fixed054 tcf pass fixed test debug-with-keys fixed055 tcf pass fixed test lace-remove-cluster fixed056 tcf pass fixed test change-debug-option fixed057 tcf pass fixed test wrong-real-arithmetic fixed058 tcf pass fixed test bool-const-no-output fixed059 tcf pass fixed test finalize-appl fixed061 tcf pass fixed test deferred-feature-call fixed062 tcf pass fixed test expanded-anchor fixed063 tcf pass fixed test nongeneric-to-generic fixed064 tcf pass fixed test undefine-subclause-violation fixed065 tcf pass fixed test non-boolean-exit fixed066 tcf pass fixed test entity-rule-violation fixed067 tcf pass fixed test misleading-vmfn-error fixed068 tcf pass fixed test time-checker-error fixed069 tcf pass fixed test intro-assign-rule-viol fixed070 tcf pass fixed test once-function-void fixed071 tcf pass fixed test vuex-violation fixed072 tcf pass fixed test invalid-local-entity-assign fixed073 tcf pass fixed test precond-good-cluster fixed074 tcf pass fixed test creation-instruction-sneak fixed075 tcf pass fixed test generic-root-to-nongeneric fixed076 tcf pass fixed test lace-remove-creation-proc fixed077 tcf pass fixed test debug-keys-case-sensitive fixed078 tcf pass fixed test invalid-identifier fixed079 tcf pass fixed test comment-assertion-with-tag fixed080 tcf pass fixed test invalid-characters fixed081 tcf pass fixed test deferred-feature-bad-header fixed082 tcf pass fixed test invalid-redefine-subclause fixed083 tcf pass fixed test old-name-inherit-clauses fixed084 tcf pass fixed test general-conformance fixed085 tcf pass fixed test old-in-precondition fixed086 tcf pass fixed test none-conform-bit-expanded fixed087 tcf pass fixed test delete-inheritance fixed088 tcf pass fixed test melt-inherit-bug fixed089 tcf pass fixed test change-generic-parm-count fixed090 tcf pass fixed test expanded-client-violation fixed091 tcf pass fixed test local-entity-violation fixed092 tcf pass fixed test hidden-expanded-client fixed093 tcf pass fixed test expanded-type-hidden fixed094 tcf pass fixed test add-delete-type-error fixed095 tcf pass fixed test generic-deriv-slide fixed096 tcf pass fixed test real-double-print fixed097 tcf pass fixed test unknown-entity-type fixed098 tcf pass fixed test fix-vuar-error fixed099 tcf pass fixed test freezing-good-type-id fixed100 tcf pass fixed test chg-generic-constraint fixed101 tcf pass fixed test remove-external-routine fixed102 tcf pass fixed test refreeze-table-size fixed103 tcf pass fixed test inherit-generic-more-complex fixed104 tcf pass fixed test melting-make-update fixed105 tcf pass fixed test invalid-feature-redeclaration fixed106 tcf pass fixed test expanded-client-inherited fixed107 tcf pass fixed test expanded-client-death fixed108 tcf pass fixed test make-byte-code-void-ref fixed109 tcf pass fixed test unknown-problem fixed110 tcf pass fixed test real-const-attr-panic fixed111 tcf pass fixed test many-locals fixed112 tcf pass fixed test generic-expanded-client fixed113 tcf pass fixed test lace-opt-cluster-mark fixed114 tcf pass fixed test lace-assertion-option fixed118 tcf pass fixed test lace-remove-cluster2 fixed119 tcf pass fixed test whip-that-ace fixed120 tcf pass fixed test concat-manifest-bit-array fixed123 tcf pass fixed test creation-generic-types-in-onces fixed124 tcf pass fixed test reference-assign-tuple-fail-gc fixed125 tcf pass fixed test infix-inherited-assertions fixed126 tcf pass fixed test inline-special-infix-at fixed127 tcf pass fixed test synonyms-with-indexing fixed128 tcf pass fixed test elseif-with-compound fixed129 tcf pass fixed test attribute-in-inherited-assertion fixed130 tcf pass fixed test external-inline-boolean fixed131 tcf pass fixed test class-name-in-multiline-string fixed132 tcf pass fixed test generic-constraint-to-none fixed133 tcf pass fixed test roundtrip-test rdtp001 tcf pass fixed test roundtrip-number-denoted-character rdtp002 tcf pass fixed test supplier-preconditions assert001 tcf pass execution -- Multi Constraint Tests test multi-constraint-basics multicon001 tcf pass multiconstraint test multi-constraint-creation multicon002 tcf pass multiconstraint test multi-constraint-renaming multicon003 tcf pass multiconstraint test multi-constraint-inheritance multicon004 tcf pass multiconstraint test multi-constraint-assertions multicon005 tcf pass multiconstraint test multi-constraint-tuple multicon006 tcf pass multiconstraint test multi-constraint-anchor multicon007 tcf pass multiconstraint test multi-constraint-root multicon008 tcf pass multiconstraint test multi-constraint-agents multicon009 tcf pass multiconstraint test multi-constraint-inline-agents multicon010 tcf pass multiconstraint test multi-constraint-formal-creation-constraint multicon011 tcf pass multiconstraint test multi-constraint-formal-heavy-renaming multicon012 tcf pass multiconstraint test multi-constraint-vtgc multicon013 tcf pass multiconstraint test multi-constraint-vtmc multicon014 tcf pass multiconstraint test multi-constraint-vtgd multicon015 tcf pass multiconstraint test multi-constraint-rename-conflict multicon016 tcf pass multiconstraint test multi-constraint-non-existent-renamed multicon017 tcf pass multiconstraint test multi-constraint-infix-renamed multicon018 tcf pass multiconstraint test multi-constraint-is-inherited multicon019 tcf pass multiconstraint test multi-constraint-vtgd-create multicon020 tcf pass multiconstraint test multi-constraint-add-gen-constraint multicon021 tcf pass multiconstraint test multi-constraint-renaming1 multicon022 tcf pass multiconstraint test multi-constraint-renaming2 multicon023 tcf pass multiconstraint test multi-constraint-check-constraints multicon024 tcf pass multiconstraint test multi-constraint-actual-type multicon025 tcf pass multiconstraint test multi-constraint-rename-formal multicon026 tcf pass multiconstraint test multi-constraint-creation-through-formal multicon027 tcf pass multiconstraint test multi-constraint-abstract-creation multicon028 tcf pass multiconstraint test multi-constraint-creation-crash01 multicon029 tcf pass multiconstraint test multi-constraint-code-generation-crash01 multicon030 tcf pass multiconstraint test multi-constraint-renamed-creation-feature multicon031 tcf pass multiconstraint test multi-constraint-single-constraint-renaming multicon032 tcf pass multiconstraint test multi-constraint-single-constraint-renaming2 multicon033 tcf pass multiconstraint test multi-constraint-recursion-bug multicon034 tcf pass multiconstraint test multi-constraint-nested-calls multicon035 tcf pass multiconstraint test multi-constraint-vtmc4 multicon036 tcf pass multiconstraint test multi-constraint-tuples multicon037 tcf pass multiconstraint test multi-constraint-tuples2 multicon038 tcf pass multiconstraint test multi-constraint-rename-alias multicon039 tcf pass multiconstraint test multi-constraint-assigner multicon040 tcf pass multiconstraint test multi-constraint-recursive-generic multicon041 tcf pass multiconstraint manual test multi-constraint-rename-clause-crash multicon042 tcf pass multiconstraint test multi-constraint-order-affects-semantic multicon043 tcf pass multiconstraint test multi-constraint-rename-to-infix multicon044 tcf pass multiconstraint test multi-constraint-alias multicon045 tcf pass multiconstraint test multi-constraint-constrained-twice multicon046 tcf pass multiconstraint test multi-constraint-renaming-to-existing-feature multicon047 tcf pass multiconstraint test multi-constraint-any-numeric-crash multicon048 tcf pass multiconstraint test multi-constraint-parallel-renaming multicon049 tcf pass multiconstraint --test multicon050 tcf pass multiconstraint --test multicon051 tcf pass multiconstraint --test multicon052 tcf pass multiconstraint -- tests for expanded types test expanded-array-attached-reference-array expanded001 tcf pass expanded test expanded-reverse-assignment expanded002 tcf pass expanded test array-of-user-defined-expanded expanded003 tcf pass expanded test expanded-formal-multiconstraint expanded004 tcf pass expanded test expanded-formal-multiconstraint2 expanded005 tcf pass expanded --test expanded006 tcf pass expanded --test expanded007 tcf pass expanded --test expanded008 tcf pass expanded --test expanded009 tcf pass expanded test filename-classname-mismatch-warning warn001 tcf pass warning -- .NET specific test if DOTNET test expanded-object-conversion dotnet001 tcf pass dotnet test tuple-insertions-assertions dotnet002 tcf pass dotnet test copy-infinite-recursion dotnet003 tcf pass dotnet test dotnet-nested-constant-access dotnet004 tcf pass dotnet test multithreaded-once-routine dotnet005 tcf pass dotnet if DOTNET test dotnet-float-literal dotnet006 tcf pass dotnet if DOTNET test system-object-creation dotnet007 tcf pass dotnet if DOTNET test dotnet-expanded-any-conversion dotnet008 tcf pass dotnet if DOTNET test single-class-with-inherited-anchor dotnet009 tcf pass dotnet test is_equal-on-generic-class-fails dotnet010 tcf pass dotnet if DOTNET test feature-calls-on-dotnet-expanded-attribute dotnet011 tcf pass dotnet if DOTNET test inherit-icloneable dotnet012 tcf pass dotnet if DOTNET test nested-external-call-which-is-static dotnet013 tcf pass dotnet test dotnet-inherit-new-array-type dotnet014 tcf pass dotnet test none-usage-in-internal-type-comparison dotnet015 tcf fail dotnet if DOTNET test dotnet-empty-custom-attributes dotnet016 tcf pass dotnet test dotnet-replicated-standard_twin dotnet017 tcf pass dotnet if DOTNET test dotnet-custom-attributes dotnet018 tcf fail dotnet custom_attributes if DOTNET test dotnet-attribute-in-enum dotnet019 tcf pass dotnet if DOTNET test dotnet-enum-value dotnet020 tcf fail dotnet if DOTNET test dotnet-value-type-initialization dotnet021 tcf pass dotnet if DOTNET test custom-attribute-type-change dotnet022 tcf pass dotnet incrementality custom_attributes if DOTNET test deferred-inherited-from-external dotnet023 tcf pass dotnet if DOTNET test renamed-feature-from-interface dotnet024 tcf pass dotnet if DOTNET test property-name-clash dotnet025 tcf pass dotnet property if DOTNET test enum-inspect-validity dotnet026 tcf pass dotnet if DOTNET test property-assigner-generation dotnet027 tcf pass dotnet property assign if DOTNET test field-assigner-generation dotnet028 tcf pass dotnet test property-accessor-name-clash dotnet029 tcf pass dotnet property test inline-agent-of-descendant dotnet030 tcf pass dotnet test deferred-class-inherit-dotnet dotnet031 tcf pass dotnet if DOTNET test single-inheritance-test dotnet032 tcf pass dotnet test assertion-evaluation-order dotnet033 tcf fail dotnet test pointer-to-external-expanded dotnet034 tcf pass dotnet expanded if DOTNET test ambiguous-dotnet-types dotnet035 tcf fail dotnet expanded test real-output-no-locale dotnet036 tcf pass dotnet real locale if DOTNET test overload-with-argument-type dotnet037 tcf pass dotnet if DOTNET test compatible-single-and-interface dotnet038 tcf pass dotnet if DOTNET test versioned-interface_implementation dotnet039 tcf pass dotnet if DOTNET test renamed-frozen-interface-implementation-for-single dotnet040 tcf pass dotnet if DOTNET test deferred-property-generation dotnet041 tcf pass dotnet property if DOTNET test merged-typed-pointer-argument dotnet042 tcf pass dotnet if DOTNET test correct-bound-property-assigner dotnet043 tcf pass dotnet if DOTNET test valid-dotnet-basic-typeof dotnet044 tcf pass dotnet if DOTNET test correct-override-on-multi-versioned-members dotnet045 tcf pass dotnet if DOTNET test function-property-call-correction dotnet046 tcf pass dotnet property if DOTNET test deferred-property-missing-assigner-implementation dotnet047 tcf pass dotnet property if DOTNET test deferred-property-missing-assigner-implementation-renamed dotnet048 tcf pass dotnet property if DOTNET test effecting-from-inherited-external dotnet049 tcf pass dotnet test replicated-from-generic-type dotnet050 tcf pass dotnet termination expanded replication test implicit-type-cause-crash-on-cast dotnet051 tcf pass dotnet termination if DOTNET test incremental-custom-attribute-constant-change dotnet052 tcf fail dotnet custom_attributes if DOTNET test wrong-eiffel-name-attribute-generation dotnet053 tcf pass dotnet custom_attributes if DOTNET test field-attribute-test dotnet054 tcf fail dotnet custom_attributes if DOTNET test creation-without-default-ctor dotnet055 tcf fail dotnet constructor if DOTNET test incr-remove-create-dotnet-constructor dotnet056 tcf fail dotnet constructor incrementality if DOTNET test smart-object-automatic-implementation dotnet057 tcf fail dotnet if DOTNET test expected-any-type-name dotnet058 tcf pass dotnet namespace dotnet_names if DOTNET test expected-basic-type-names dotnet059 tcf pass dotnet namespace dotnet_names if DOTNET test dotnet-name-generation dotnet060 tcf fail dotnet dotnet_names if DOTNET test external-name-conflict-validation dotnet061 tcf pass dotnet dotnet_names if DOTNET test target-namespace-generation-rules dotnet062 tcf fail dotnet namespace if DOTNET test target-named-namespace-generation-rules dotnet063 tcf pass dotnet namespace if DOTNET test library-namespace-generation-rules dotnet064 tcf fail dotnet namespace if DOTNET test library-named-namespace-generation-rules dotnet065 tcf pass dotnet namespace if DOTNET test uncompiled-managed-resource-embeddeding dotnet066 tcf pass dotnet resources if DOTNET test compiled-managed-resource-embeddeding dotnet067 tcf pass dotnet resources if DOTNET test peripheral-resource-embeddeding dotnet068 tcf pass dotnet resources if DOTNET test non-existent-resource-embeddeding dotnet069 tcf fail dotnet resources if DOTNET test uncompiled-managed-resource-modified dotnet070 tcf fail dotnet resources if DOTNET test property-name-clash-named dotnet071 tcf pass dotnet property if DOTNET test property-name-clash-single-named dotnet072 tcf pass dotnet property if DOTNET test property-name-clash-named-inherited dotnet073 tcf pass dotnet property if DOTNET test properties-generated-on_eiffel-interface dotnet074 tcf pass dotnet property if DOTNET test illegal-routine-properties dotnet075 tcf pass dotnet property if DOTNET test property-reusing-parent-setter dotnet076 tcf fail dotnet property if DOTNET test deferred-property-function-on-single dotnet077 tcf fail dotnet property if DOTNET test property-incremental-add-remove dotnet078 tcf pass dotnet property incrementality if DOTNET test property-incremental-add-remove-single dotnet079 tcf pass dotnet property incrementality if DOTNET test property-on-procedure dotnet080 tcf pass dotnet property if DOTNET test ctor-basic dotnet081 tcf fail dotnet constructor if DOTNET test ctor-basic-dynamic dotnet082 tcf pass dotnet constructor if DOTNET test ctor-non-existing-create dotnet083 tcf pass dotnet constructor if DOTNET test ctor-single-default-ctor dotnet084 tcf pass dotnet constructor if DOTNET test ctor-parent-ctor-reference dotnet085 tcf pass dotnet constructor if DOTNET test ctor-parent-argumented-ctor-reference dotnet086 tcf pass dotnet constructor if DOTNET test ctor-parent-argumented-ctor-redefine dotnet087 tcf fail dotnet constructor if DOTNET test ctor-root-creation-ctor dotnet088 tcf fail dotnet constructor if DOTNET test ctor-multi-source-ctors dotnet089 tcf fail dotnet constructor if DOTNET test ctor-reference-from-external-type dotnet090 tcf fail dotnet constructor if DOTNET test ctor-multi-source-unique-ctors dotnet091 tcf fail dotnet constructor if DOTNET test ca-use-of-non-native-attribute dotnet092 tcf fail dotnet custom_attributes if DOTNET test ca-incorrect-context-usage dotnet093 tcf fail dotnet custom_attributes if DOTNET test ca-peripheral-assembly-metadata dotnet094 tcf pass dotnet custom_attributes if DOTNET test ca-assembly-md-with-compile-all dotnet095 tcf fail dotnet custom_attributes if DOTNET test ca-correct-assignment dotnet096 tcf pass dotnet custom_attributes if DOTNET test ca-basic-custom-attribute dotnet097 tcf pass dotnet custom_attributes if DOTNET test ca-custom-attribute-with-property dotnet098 tcf fail dotnet custom_attributes property if DOTNET test ca-custom-attribute-with-ctor dotnet099 tcf pass dotnet custom_attributes constructor if DOTNET test ca-custom-attribute-with-create dotnet100 tcf fail dotnet custom_attributes if DOTNET test application-optimizations-enabled dotnet101 tcf pass dotnet optimization if DOTNET test system-object-remapped-in-mscorlib-only dotnet102 tcf pass dotnet consumer if DOTNET test consumable-attribute-usage-in-eiffel dotnet103 tcf fail dotnet consumer consumable custom_attributes