EiffelWeasel test execution manager (version 1.0) Test generic-zero-parms (syntax001): passed Test no-index-tag (syntax002): failed Description: Index_clause without an Index_tag Execution error in file /home/eweasel/eweasel/tests/syntax002/tcf at line 12 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Syntax error in class TEST at line 6 Final status: paused Expected result: Final status: completed Test semicolons-not-optional (syntax003): passed Test empty-export-feature-list (syntax004): failed Description: Empty Feature_list in New_export_item Execution error in file /home/eweasel/eweasel/tests/syntax004/tcf at line 12 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Syntax error in class TEST at line 10 Final status: paused Expected result: Final status: completed Test empty-multi-branch-choices (syntax005): failed Description: Empty Choices in Multi_branch When_part Execution error in file /home/eweasel/eweasel/tests/syntax005/tcf at line 12 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Syntax error in class TEST at line 20 Final status: paused Expected result: Final status: completed Test zero-equals-zero (syntax006): passed Test syntax-disagreements-1 (syntax007): passed Test creation-client-no-feats (syntax008): passed Test empty-strip-expression (syntax009): passed Test empty-manifest-array (syntax010): passed Test valid-anchored-decl (syntax011): failed Description: Anchored declaration whose anchor is the final name of an operator feature Execution error in file /home/eweasel/eweasel/tests/syntax011/tcf at line 12 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Syntax error in class TEST at line 28 Final status: paused Expected result: Final status: completed Test bit-type-with-plus (syntax012): passed Test empty-index-list (syntax013): passed Test free-operator-reject (syntax014): failed Description: Free operator `prefix "##%%"' Execution error in file /home/eweasel/eweasel/tests/syntax014/tcf at line 12 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Syntax error in class TEST at line 22 Final status: paused Expected result: Final status: completed Test long-string-constant (syntax015): failed Description: Manifest string constant with 400000 characters Execution error in file /home/eweasel/eweasel/tests/syntax015/tcf at line 12 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Final status: system_failed had_panic Expected result: Final status: completed Test strip-no-prefix-opers (syntax016): failed Description: Operator feature which is a prefix feature implemented as an attribute Execution error in file /home/eweasel/eweasel/tests/syntax016/tcf at line 12 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Syntax error in class TEST at line 18 Final status: paused Expected result: Final status: completed Test std-operator-case-sensitive (syntax017): passed Test syntax-disagreements-2 (syntax018): failed Description: Some things ETL says are not OK related to constants Execution error in file /home/eweasel/eweasel/tests/syntax018/tcf at line 21 Original text: compile_result syntax_error TEST 23 Substituted text: compile_result syntax_error TEST 23 Reason: actual compilation result does not match expected result Actual result: Syntax error in class TEST at line 27 Final status: paused Expected result: Syntax error in class TEST at line 23 Final status: paused Test illegal-multi-branch (syntax019): failed Description: Multi_branch with syntactically illegal Choice Execution error in file /home/eweasel/eweasel/tests/syntax019/tcf at line 12 Original text: compile_result syntax_error TEST 19 Substituted text: compile_result syntax_error TEST 19 Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Syntax error in class TEST at line 19 Final status: paused Test reserved-words-not (syntax020): failed Description: Words which are supposed to be reserved words used as identifiers Execution error in file /home/eweasel/eweasel/tests/syntax020/tcf at line 14 Original text: compile_result syntax_error TEST 21 Substituted text: compile_result syntax_error TEST 21 Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Syntax error in class TEST at line 21 Final status: paused Test invalid-generic-constraint3 (syntax021): passed Test std-operator-trailing-null (syntax022): passed Test not-all-chars-significant (syntax023): passed Test manifest-string-blank-lines (syntax024): failed Description: A manifest string in the extended form which contains lines with only white space (blanks and tabs) but no leading and trailing percent sign Execution error in file /home/eweasel/eweasel/tests/syntax024/tcf at line 13 Original text: compile_result syntax_error TEST 12 Substituted text: compile_result syntax_error TEST 12 Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Syntax error in class TEST at line 12 Final status: paused Test null-or-ctrl-a-syntax (syntax025): passed Test fairly-long-identifier (syntax026): passed Test routine-empty-arg-list (syntax027): passed Test manifest-string-percent-space (syntax028): failed Description: A manifest string which contains the illegal "character" '% ' is accepted, but only if there are an even number of consecutive occurrences of this invalid character. ETL page 420. Execution error in file /home/eweasel/eweasel/tests/syntax028/tcf at line 13 Original text: compile_result syntax_error TEST 11 Substituted text: compile_result syntax_error TEST 11 Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Syntax error in class TEST at line 11 Final status: paused Test external-lower-case-c-lang (syntax029): passed Test include-missing-last-delimiter (syntax030): passed Test external-tab-after-macro (syntax031): failed Description: A declaration of an external routine which declares the external to be a macro is not accepted if the word `macro' is followed immediately by a tab instead of a space. Execution error in file /home/eweasel/eweasel/tests/syntax031/tcf at line 14 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Syntax error in class TEST at line 17 Final status: paused Expected result: Final status: completed Test external-proc-sig-return-type (syntax032): passed Test point-e-one-real-constant (syntax033): passed Test qualified-call-e-forty-seven (syntax034): passed Test infix-pass-feature-address (syntax035): failed Description: A call to an infix operator feature which passes `$x' as its second argument (e.g., `Current @ $x') should be legal, but the compiler reports a syntax error. Execution error in file /home/eweasel/eweasel/tests/syntax035/tcf at line 13 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Syntax error in class TEST at line 11 Final status: paused Expected result: Final status: completed Test assign-addr-expr-to-pointer (syntax036): failed Description: An assignment whose source is an address expression `$x' (which is of type pointer) and whose target is of type POINTER should be accepted, but the compiler reports a syntax error. Replacing `$x' with `ptr ($x)', where `ptr' just returns its argument, causes the compiler to accept the class. Execution error in file /home/eweasel/eweasel/tests/syntax036/tcf at line 13 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Syntax error in class TEST at line 13 Final status: paused Expected result: Final status: completed Test cast-arg-type-with-parens (syntax037): failed Description: An external routine has a Special_external_decl which casts the arguments. If the type to which an argument is cast includes any parentheses, then the first closing parentheses in the cast type incorrectly terminates the argument list in parentheses. This causes the compiler to report a syntax error. Execution error in file /home/eweasel/eweasel/tests/syntax037/tcf at line 13 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Syntax error in class TEST at line 18 Final status: paused Expected result: Final status: completed Test bogus-string-syntax-error (syntax038): passed Test bad-class-end-comment (valid001): failed Description: Violate validity constraint VCRN Execution error in file /home/eweasel/eweasel/tests/valid001/tcf at line 12 Original text: compile_result validity_error TEST VCRN Substituted text: compile_result validity_error TEST VCRN Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VCRN Final status: paused Test bad-infix-feature (valid002): passed Test class-not-in-universe (valid003): passed Test invalid-local-rescue (valid004): passed Test local-same-as-formal (valid005): passed Test invalid-precondition (valid006): passed Test invalid-use-of-old (valid007): passed Test invalid-entity-assertion-tag (valid008): failed Description: Assertion tag which is a reserved word Execution error in file /home/eweasel/eweasel/tests/valid008/tcf at line 12 Original text: compile_result syntax_error TEST 7 Substituted text: compile_result syntax_error TEST 7 Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Syntax error in class TEST at line 7 Final status: paused Test invalid-bit-type (valid009): passed Test rename-infix-to-prefix (valid010): passed Test anchored-type-violation (valid011): failed Description: Violate validity constraint VTAT Execution error in file /home/eweasel/eweasel/tests/valid011/tcf at line 12 Original text: compile_result validity_error TEST VTAT(1) VTAT(2) Substituted text: compile_result validity_error TEST VTAT(1) VTAT(2) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VTAT(1) Validity error in class TEST code VTAT(2) Final status: paused Test invalid-creation-instruction (valid012): passed Test inherited-assign-violation (valid013): failed Description: Violate Assignment rule (validity constraint VJAR) Execution error in file /home/eweasel/eweasel/tests/valid013/tcf at line 13 Original text: compile_result validity_error TEST VJAR Substituted text: compile_result validity_error TEST VJAR Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VJAR Final status: paused Test illegal-formal-generic (valid014): passed Test none-as-formal-generic (valid015): passed Test require-else-ensure-then (valid016): passed Test void-as-bool-or-int (valid017): passed Test illegal-address-use (valid018): passed Test redefine-subclause-violation (valid019): failed Description: Violate validity constraint VDRS4 Execution error in file /home/eweasel/eweasel/tests/valid019/tcf at line 13 Original text: compile_result validity_error TEST VDRS(4) Substituted text: compile_result validity_error TEST VDRS(4) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VDRS(4) Final status: paused Test expanded-type-violation2 (valid020): passed Test expanded-type-avail-viol (valid021): passed Test anchored-formal-generic (valid022): failed Description: Violate validity constraint VTAT with Formal_generic_name as anchor Execution error in file /home/eweasel/eweasel/tests/valid022/tcf at line 13 Original text: compile_result validity_error TEST VTAT(1) Substituted text: compile_result validity_error TEST VTAT(1) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VTAT(1) Final status: paused Test invalid-generic-constraint2 (valid023): passed Test export-validity-viol (valid024): passed Test bad-external-language (valid025): passed Test basic-type-generic-deriv (valid026): passed Test bad-generic-deriv-creation-type (valid027): passed Test generic-parm-conform (valid028): passed Test deferred-root-class (valid029): passed Test expanded-redeclaration (valid030): failed Description: Class which redefines feature of type REAL to be of type `expanded REAL' Execution error in file /home/eweasel/eweasel/tests/valid030/tcf at line 13 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VDRD(2) Final status: paused Expected result: Final status: completed Test valid-feature-rename (valid031): passed Test valid-repeated-inheritance (valid032): failed Description: Valid case of repeated inheritance Execution error in file /home/eweasel/eweasel/tests/valid032/tcf at line 15 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VMFN Final status: paused Expected result: Final status: completed Test valid-like-generic-deriv (valid033): passed Test valid-repeated-inheritance2 (valid034): passed Test conformance-inconsistency (valid035): failed Description: Assignment of an entity of type H (which conforms to NONE) to an entity of type G Execution error in file /home/eweasel/eweasel/tests/valid035/tcf at line 13 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST1 code VJAR Final status: paused Expected result: Final status: completed Test multi-branch-empty-intervals (valid036): passed Test op-feat-cant-be-used (valid037): passed Test addr-args-not-pointer (valid038): passed Test valid-once-redefine (valid039): passed Test valid-once-undefine (valid040): passed Test result-in-none-func (valid041): failed Description: A function whose return type is NONE and which references the predefined entity Result Execution error in file /home/eweasel/eweasel/tests/valid041/tcf at line 12 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VEEN(2) Final status: paused Expected result: Final status: completed Test repeat-inher-vmrc-violation (valid042): passed Test manifest-array-conform (valid043): failed Description: A manifest array with one element of type INTEGER should conform to ANY Execution error in file /home/eweasel/eweasel/tests/valid043/tcf at line 12 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VJAR Final status: paused Expected result: Final status: completed Test bit-constant-diff-length (valid044): passed Test vtct-on-generic-5 (valid045): passed Test actual-generic-anchor-feat (valid046): passed Test valid-actual-generic (valid047): passed Test redecl-violation (valid048): passed Test local-entity-wrong-error (valid049): passed Test vuar-called-vuex (valid050): passed Test veen-called-other-viol (valid051): passed Test generic-constrained-by-generic (valid052): passed Test spurious-vtat-on-bit (valid053): passed Test vuar-called-vuar2 (valid054): passed Test vtug-called-vtug3 (valid055): passed Test pointer-ref-conformance (valid056): failed Description: An assignment whose source is an address expression `$x' (which is of type pointer) and whose target is a reference type other than ANY Execution error in file /home/eweasel/eweasel/tests/valid056/tcf at line 13 Original text: compile_result validity_error TEST VJAR Substituted text: compile_result validity_error TEST VJAR Reason: actual compilation result does not match expected result Actual result: Syntax error in class TEST at line 18 Final status: paused Expected result: Validity error in class TEST code VJAR Final status: paused Test spurious-vgcc2 (valid057): passed Test illegal-attributes (valid058): failed Description: Variable and constant attributes which violate VFFD1 because they have a Formal_arguments part Execution error in file /home/eweasel/eweasel/tests/valid058/tcf at line 14 Original text: compile_result validity_error TEST VFFD(1) Substituted text: compile_result validity_error TEST VFFD(1) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VFFD(1) Final status: paused Test rename-feature-to-self (valid059): passed Test generic-expanded-client2 (valid060): passed Test old-in-precond-bogus-vaol2 (valid061): passed Test old-result (valid062): passed Test exclude-recompile-vd14 (valid063): passed Test expanded-multi-creation-procs (valid064): passed Test vreg-formal-multiple (valid065): passed Test nonexistent-vlec (valid066): failed Description: An attribute of type `TEST1 [TEST1 [DOUBLE]]' where TEST1 is declared as an expanded class causes the compiler to report a VLEC error Execution error in file /home/eweasel/eweasel/tests/valid066/tcf at line 14 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VLEC Final status: paused Expected result: Final status: completed Test old-void (valid067): failed Description: The expression `old Void' in a postcondition Execution error in file /home/eweasel/eweasel/tests/valid067/tcf at line 13 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VAOL(2) Final status: paused Expected result: Final status: completed Test veen-on-hashable-default (valid068): passed Test all-unique-bogus-vomb-3 (valid069): failed Description: A multi-branch with two Unique inspect constants with the same name (VOMB(4) violation) Execution error in file /home/eweasel/eweasel/tests/valid069/tcf at line 13 Original text: compile_result validity_error TEST VOMB(4) Substituted text: compile_result validity_error TEST VOMB(4) Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VOMB(4) Validity error in class TEST code VOMB(3) Final status: paused Expected result: Validity error in class TEST code VOMB(4) Final status: paused Test vtug1-called-vtug2 (valid070): passed Test vtug2-called-vtug1 (valid071): passed Test vgcc5-called-vgcc6 (valid072): failed Description: A call `!!x' with `x' of type TEST1 where TEST1 has a Creators part with no creation procedures listed should be a VGCC(5) error Execution error in file /home/eweasel/eweasel/tests/valid072/tcf at line 14 Original text: compile_result validity_error TEST VGCC(5) Substituted text: compile_result validity_error TEST VGCC(5) Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VGCC(6) Final status: paused Expected result: Validity error in class TEST code VGCC(5) Final status: paused Test undefine-external-make-internal (valid073): failed Description: Constraint VDRD(7) prohibits redefining an external routine as an internal one or conversely. But a class which circumvents this prohibition by first undefining the external routine is accepted by the compiler. Execution error in file /home/eweasel/eweasel/tests/valid073/tcf at line 14 Original text: compile_result validity_error TEST VDRD(7) Substituted text: compile_result validity_error TEST VDRD(7) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VDRD(7) Final status: paused Test vgcc4-called-vgcc6 (valid074): failed Description: A call `!!x.make' with `x' of type TEST1 where TEST1 has no Creators part at all should be a VGCC(4) error Execution error in file /home/eweasel/eweasel/tests/valid074/tcf at line 14 Original text: compile_result validity_error TEST VGCC(4) Substituted text: compile_result validity_error TEST VGCC(4) Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VGCC(6) Final status: paused Expected result: Validity error in class TEST code VGCC(4) Final status: paused Test vqmc-extra-bogus-vffd7 (valid075): failed Description: A constant attribute which has declared type of `like Current' causes the compiler to report a bogus VFFD(7) error when the constant used in the declaration is a string or a bit type Execution error in file /home/eweasel/eweasel/tests/valid075/tcf at line 14 Original text: compile_result validity_error TEST VQMC(5) Substituted text: compile_result validity_error TEST VQMC(5) Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VFFD(7) Validity error in class TEST code VQMC(5) Final status: paused Expected result: Validity error in class TEST code VQMC(5) Final status: paused Test undef-mult-precursors (valid076): failed Description: How can one merge two features inherited from the same class, one of which is effective and the other deferred, and have the resulting feature be deferred? Execution error in file /home/eweasel/eweasel/tests/valid076/tcf at line 15 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST1 code VDUS(3) Final status: paused Expected result: Final status: completed Test vjaw-called-vuar1 (valid077): failed Description: An assignment to a feature which is a function violates VJAW. When this function takes no arguments, the compiler reports VJAW. But when the feature which is the target of the assignment takes arguments, the compiler incorrectly reports a VUAR(1) error. Execution error in file /home/eweasel/eweasel/tests/valid077/tcf at line 13 Original text: compile_result validity_error TEST VJAW Substituted text: compile_result validity_error TEST VJAW Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VUAR(1) Final status: paused Expected result: Validity error in class TEST code VJAW Final status: paused Test vkcn-sneak (valid078): passed Test replicated-feat-multiple-select (valid079): failed Description: A system has a class which inherits from another class three times, renaming one of its features in two of the Parent parts and selecting the renamed feature twice. This violates the letter of VMRC(2). Execution error in file /home/eweasel/eweasel/tests/valid079/tcf at line 14 Original text: compile_result validity_error TEST VMRC(2) Substituted text: compile_result validity_error TEST VMRC(2) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VMRC(2) Final status: paused Test double-assigned-to-real (valid080): failed Description: An assignment of an entity of type DOUBLE to an entity of type REAL should be a VJAR violation Execution error in file /home/eweasel/eweasel/tests/valid080/tcf at line 13 Original text: compile_result validity_error TEST VJAR Substituted text: compile_result validity_error TEST VJAR Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VJAR Final status: paused Test precondition-too-secret (valid081): failed Description: A routine with an insufficiently exported entity in a precondition violates VAPE, but the compiler accepts it. It appears that the compiler accepts any case where both the routine with the precondition and the entity referenced in the precondition have an export restriction and the entity is not completely secret. Execution error in file /home/eweasel/eweasel/tests/valid081/tcf at line 13 Original text: compile_result validity_error TEST VAPE Substituted text: compile_result validity_error TEST VAPE Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VAPE Final status: paused Test selective-export-operator-feat (valid082): failed Description: A class calls (on an entity of another type) a feature which is exported to it. The compiler rejects the class as violating VUEX(2), but only if the feature is an operator feature. Execution error in file /home/eweasel/eweasel/tests/valid082/tcf at line 15 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VUEX(2) Final status: paused Expected result: Final status: completed Test operator-feat-export-to-self (valid083): failed Description: Class A has an operator feature exported only to itself and its descendants. When class B (which is not a descendant of class A) tries to call this feature, the compiler should report a VUEX(2) error. Execution error in file /home/eweasel/eweasel/tests/valid083/tcf at line 15 Original text: compile_result validity_error TEST VUEX(2) Substituted text: compile_result validity_error TEST VUEX(2) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VUEX(2) Final status: paused Test vape-involving-current (valid084): failed Description: A routine with an insufficiently exported entity in a precondition violates VAPE. The compiler accepts it, but only if the entity Current is explicitly involved (e.g. as `Current.feature_name' or `Current + value'. Execution error in file /home/eweasel/eweasel/tests/valid084/tcf at line 15 Original text: compile_result validity_error TEST1 VAPE Substituted text: compile_result validity_error TEST1 VAPE Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST1 code VAPE Final status: paused Test secret-precondition-heir-export (valid085): failed Description: A routine with a secret precondition does not violate VAPE because the routine itself is also exported to {NONE}. But the class containing this routine is inherited by another class and the routine export status is changed to {ANY}, yielding a generally available routine with a secret precondition. Execution error in file /home/eweasel/eweasel/tests/valid085/tcf at line 14 Original text: compile_result validity_error TEST1 VAPE Substituted text: compile_result validity_error TEST1 VAPE Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST1 code VAPE Final status: paused Test secret-func-arg-in-precondition (valid086): failed Description: A routine with a precondition which has a function call that references a secret argument violates VAPE. Execution error in file /home/eweasel/eweasel/tests/valid086/tcf at line 13 Original text: compile_result validity_error TEST VAPE Substituted text: compile_result validity_error TEST VAPE Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VAPE Final status: paused Test vtct-on-valid-class (valid087): passed Test creation-proc-secret-precond (valid088): failed Description: A class has a secret procedure with a precondition which references a secret attribute. This procedure is available to {ANY} as a creation procedure. The compiler should report a VAPE violation but it accepts the class. Execution error in file /home/eweasel/eweasel/tests/valid088/tcf at line 14 Original text: compile_result validity_error TEST1 VAPE Substituted text: compile_result validity_error TEST1 VAPE Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST1 code VAPE Final status: paused Test join-features-invalid-vuex (valid089): failed Description: A class TEST calls (on an entity of type TEST1) a feature which should be exported to it. The compiler incorrectly rejects the class as violating VUEX(2). If an export restriction is changed from `{TEST1}' to `{NONE}', which if anything ought to make fewer features exported to TEST, the compiler correctly accepts the classes. Execution error in file /home/eweasel/eweasel/tests/valid089/tcf at line 16 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VUEX(2) Final status: paused Expected result: Final status: completed Test switch-parents-vuex-gone (valid090): failed Description: The compiler incorrectly reports a VUEX(2) error on class which tries to call a feature on an entity of type FOO. If the order of the parent clauses in the inheritance inside FOO is switched the VUEX error magically disappears. Execution error in file /home/eweasel/eweasel/tests/valid090/tcf at line 18 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VUEX(2) Final status: paused Expected result: Final status: completed Test inspect-char-inside-inspect-int (valid091): passed Test vomb2-called-veen (valid092): passed Test vtcg-instead-of-vtug2 (valid093): passed Test misleading-vhrc2-and-vhrc3 (valid094): passed Test precond-call-chain-vape (valid095): failed Description: An exported routine has a precondition `a.b'. Feature `b' is not available to all classes so the compiler should report a VAPE error but it does not. Execution error in file /home/eweasel/eweasel/tests/valid095/tcf at line 15 Original text: compile_result validity_error TEST1 VAPE Substituted text: compile_result validity_error TEST1 VAPE Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST1 code VAPE Final status: paused Test like-current-generic-vlec (valid096): passed Test generic-attr-call-bad-type (valid097): passed Test expanded-generic-conformance (valid098): failed Description: The type `expanded TEST1 [DOUBLE]' should not conform to the type `expanded TEST1 [STRING]'. But the compiler accepts an assignment involving these two types. Execution error in file /home/eweasel/eweasel/tests/valid098/tcf at line 14 Original text: compile_result validity_error TEST VJAR Substituted text: compile_result validity_error TEST VJAR Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VJAR Final status: paused Test bogus-vtcg (valid099): failed Description: A system has a generic class with constraint `-> ARRAY [TEST2]'. If another class inherits from the generic class, providing ARRAY [TEST2]' as actual generic parameter *and* if TEST2 is an expanded class, then the compiler incorrectly reports a VTCG error. Execution error in file /home/eweasel/eweasel/tests/valid099/tcf at line 15 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VTCG Final status: paused Expected result: Final status: completed Test creation-bad-actual-generic (valid100): failed Description: An invalid type used as actual generic parameters in an explicit type in a creation instruction should cause the compiler to report a VTEC or VTCG error, but it does not. Execution error in file /home/eweasel/eweasel/tests/valid100/tcf at line 16 Original text: compile_result validity_error TEST VTCG Substituted text: compile_result validity_error TEST VTCG Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VTCG Final status: paused Test inheritance-bad-actual-generic (valid101): failed Description: An invalid expanded type used as actual generic parameter in an explicit type in a parent part in an inheritance clause should cause the compiler to report a VTEC error, but it does not. Execution error in file /home/eweasel/eweasel/tests/valid101/tcf at line 14 Original text: compile_result validity_error TEST VTEC(2) Substituted text: compile_result validity_error TEST VTEC(2) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VTEC(2) Final status: paused Test attribute-anchored-to-generic (valid102): passed Test two-anchored-actual-generics (valid103): failed Description: A feature `z: TEST2 [like w, like w]' where TEST2 is a generic class with two unconstrained formal generic parameters should be valid, but the compiler says it violates VTAT(1). Execution error in file /home/eweasel/eweasel/tests/valid103/tcf at line 14 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VTAT(1) Final status: paused Expected result: Final status: completed Test merge-anchored-bogus-vdjr (valid104): failed Description: Two features are both declared as `z: like out' in separate classes. A third class inherits from both of these classes. The features appear to have identical signatures, since they both have the same version of `out', but the compiler reports a VDJR error. Execution error in file /home/eweasel/eweasel/tests/valid104/tcf at line 16 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST3 code VDJR Final status: paused Expected result: Final status: completed Test replicate-then-share (valid105): failed Description: A class inherits twice from the same parent and renames the single inherited feature, thereby replicating it. But when an heir of this class tries to give these two feature the same name by renaming one of them (sharing under repeated inheritance) the compiler reports a VMFN error. Execution error in file /home/eweasel/eweasel/tests/valid105/tcf at line 15 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VMFN Final status: paused Expected result: Final status: completed Test inherit-any-not-ancestor (valid106): failed Description: A class with the inheritance clause `inherit GENERAL' should have ANY added implicitly as an ancestor, thereby making the features of PLATFORM accessible, but it does not. Execution error in file /home/eweasel/eweasel/tests/valid106/tcf at line 13 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VTCT Final status: paused Expected result: Final status: completed Test compare-procedure-to-void (valid107): failed Description: The expression `f = Void', where `f' is a procedure, violates VKCN but the compiler accepts it. If the system is being frozen, the compiler terminates during degree -2. Execution error in file /home/eweasel/eweasel/tests/valid107/tcf at line 13 Original text: compile_result validity_error TEST VKCN Substituted text: compile_result validity_error TEST VKCN Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VKCN Final status: paused Test explicit-creation-bad-generic (valid108): failed Description: A routine has explicit creation instruction with an invalid actual generic parameter. The creation procedure of the generic class takes an argument of type `G' where `G' is the name of the formal generic parameter. The compiler should report a VTCG error, but it does not. Compilation ends prematurely with a segmentation fault. Execution error in file /home/eweasel/eweasel/tests/valid108/tcf at line 14 Original text: compile_result validity_error TEST VTCG Substituted text: compile_result validity_error TEST VTCG Reason: actual compilation result does not match expected result Actual result: Final status: aborted system_failed had_exception (Segmentation violation) had_panic Expected result: Validity error in class TEST code VTCG Final status: paused Test tricky-constraint-with-generic (valid109): passed Test vd31-nonprecompiled-sneak (valid110): failed Description: An Ace has a visible clause for a class which exists but is not reachable from the root class, which violates VD31. If the class is in a cluster which is not part of a precompiled library, the VD31 violation is not detected. Execution error in file /home/eweasel/eweasel/tests/valid110/tcf at line 14 Original text: compile_result validity_error NONE VD31 Substituted text: compile_result validity_error NONE VD31 Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error code VD31 Final status: paused Test vd28-trailing-slash (valid111): failed Description: An Ace has two clusters with path names that are identical except that one has a trailing "/" character. This violates the spirit of VD28, but the compiler does not detect the VD28 error. Execution error in file /home/eweasel/eweasel/tests/valid111/tcf at line 13 Original text: compile_result validity_error NONE VD28 Substituted text: compile_result validity_error NONE VD28 Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error code VD28 Final status: paused Test vgcc-called-vuar1 (valid112): failed Description: A creation instruction whose target is a procedure or functionshould be a VGCC violation. The compiler instead reports a VUAR(1) error, but only if the routine takes arguments. Execution error in file /home/eweasel/eweasel/tests/valid112/tcf at line 14 Original text: compile_result validity_error TEST VGCC(7) Substituted text: compile_result validity_error TEST VGCC(7) Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VUAR(1) Final status: paused Expected result: Validity error in class TEST code VGCC(7) Final status: paused Test vlec-sneak (incr001): failed Description: Remove and add formal generic parameter to violate Expanded Client rule Execution error in file /home/eweasel/eweasel/tests/incr001/tcf at line 22 Original text: compile_result validity_error TEST1 VLEC Substituted text: compile_result validity_error TEST1 VLEC Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST1 code VLEC Final status: paused Test chg-inspect-const-type (incr002): passed Test vscn-sneak (incr003): failed Description: Introduce VSCN violation (two classes with same name) and try to resume compilation Execution error in file /home/eweasel/eweasel/tests/incr003/tcf at line 16 Original text: compile_result validity_error NONE VSCN Substituted text: compile_result validity_error NONE VSCN Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error code VSCN Final status: paused Test vuex-sneak (incr004): passed Test vcfg-sneak (incr005): failed Description: Introduce VCFG violations by adding new class G to the universe Execution error in file /home/eweasel/eweasel/tests/incr005/tcf at line 16 Original text: compile_result validity_error TEST1 VCFG(1) Substituted text: compile_result validity_error TEST1 VCFG(1) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST1 code VCFG(1) Final status: paused Test vdrd-sneak (incr006): passed Test vwbe-sneak (incr007): passed Test vjrv-sneak (incr008): passed Test vuar-sneak (incr009): passed Test vtat-sneak (incr010): passed Test veen-sneak (incr011): passed Test vtbt-sneak (incr012): passed Test vd20-sneak (incr013): passed Test vd29-sneak (incr014): failed Description: After initial compilation, a class which is not reachable from the root is modified so that it has the same name as the root class and system is recompiled Execution error in file /home/eweasel/eweasel/tests/incr014/tcf at line 25 Original text: compile_result validity_error NONE VD29 Substituted text: compile_result validity_error NONE VD29 Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error code VD29 Final status: paused Test vtec-compiler-wrong (incr015): passed Test chg-class-name (incr016): passed Test switch-class-names (incr017): passed Test vlec-compiler-wrong (incr018): failed Description: Remove VLEC violation and resume Execution error in file /home/eweasel/eweasel/tests/incr018/tcf at line 19 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST2 code VLEC Final status: paused Expected result: Final status: completed Test vdrd-compiler-wrong (incr019): passed Test vscn-compiler-wrong (incr020): passed Test vd10-becomes-syntax-error (incr021): failed Description: Delete entire class text, recompile, resume Execution error in file /home/eweasel/eweasel/tests/incr021/tcf at line 18 Original text: compile_result validity_error NONE VD10 Substituted text: compile_result validity_error NONE VD10 Reason: actual compilation result does not match expected result Actual result: Syntax error in class TEST1 at line 3 Final status: paused Expected result: Validity error code VD10 Final status: paused Test generic-pass-one-twice (incr022): failed Description: Change root class to generic class with a single formal generic parameter Execution error in file /home/eweasel/eweasel/tests/incr022/tcf at line 18 Original text: compare compile2_output output Substituted text: compare compile2_output output Reason: files being compared do not have identical contents Test expanded-deferred-exception (incr023): passed Test vtug-retry (incr024): passed Test valid-like-generic-deriv (incr025): passed Test cut-long-client-chain (incr026): passed Test generic-root-vcfg (incr027): passed Test pass4-melt-exception (incr028): passed Test deferred-to-const-attr (incr029): passed Test repeated-func-to-attr (incr030): passed Test external-info-exception (incr031): passed Test mystery-bug (incr032): passed Test dispatch-unit-exception (incr033): passed Test unsolved-type (incr034): passed Test chg-expanded-actual-generic (incr035): passed Test chg-root-class-name (incr036): failed Description: Change the name of the root class in class text and recompile Execution error in file /home/eweasel/eweasel/tests/incr036/tcf at line 17 Original text: compile_result validity_error NONE VD20 Substituted text: compile_result validity_error NONE VD20 Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error code VD20 Final status: paused Test del-add-kernel-cluster (incr037): passed Test cannot-update-types (incr038): passed Test add-generic-constraint (incr039): passed Test intro-vwoe-precondition (incr040): passed Test change-delete-invariant (incr041): passed Test delete-add-invariant (incr042): passed Test unique-not-unique (incr043): passed Test unique-not-consecutive (incr044): passed Test chg-integer-const-value (incr045): passed Test expanded-class-bad-behavior (incr046): passed Test expanded-generic-exec-panic (incr047): manual Test call-proc-print-attr (incr048): failed Description: After initial compilation, a procedure is changed to a STRING and a call of the procedure is changed to a `print' on this (Void) string. Execution error in file /home/eweasel/eweasel/tests/incr048/tcf at line 30 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: system_failed had_panic Expected result: Final status: completed Test remove-inheritance-cycle (incr049): passed Test rename-secret-attribute (incr050): passed Test add-vscn-violation (incr051): failed Description: A VSCN violation is introduced after initial compilation Execution error in file /home/eweasel/eweasel/tests/incr051/tcf at line 20 Original text: compile_result validity_error NONE VSCN Substituted text: compile_result validity_error NONE VSCN Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error code VSCN Final status: paused Test bogus-vd27 (incr052): failed Description: After initial compilation, a rename subclause of an inheritance clause is deleted (introducing a VRFA violation) then added back Execution error in file /home/eweasel/eweasel/tests/incr052/tcf at line 21 Original text: compile_result validity_error TEST VRFA Substituted text: compile_result validity_error TEST VRFA Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VRFA Final status: paused Test expand-attribute (incr053): passed Test vdrd7-sneak (incr054): passed Test move-external-make-do (incr055): passed Test fix-constrained-actual-generic (incr056): passed Test vtec-sneak (incr057): passed Test chg-inspect-const-value (incr058): passed Test bogus-vaol (incr059): passed Test vgcc-sneak (incr060): passed Test cannot-write-updt (incr061): passed Test change-generic-derived-external (incr062): passed Test bogus-vaol2 (incr063): passed Test bogus-vd27-2 (incr064): passed Test nonexistent-vmrc (incr065): passed Test vd38-sneak (incr066): failed Description: A second precompiled cluster is added to the Ace after compilation and the system is recompiled Execution error in file /home/eweasel/eweasel/tests/incr066/tcf at line 24 Original text: compile_result validity_error NONE VD38 Substituted text: compile_result validity_error NONE VD38 Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error code VD38 Final status: paused Test del-creation-proc-add-two (incr067): passed Test invariant-expanded-generic (incr068): passed Test bogus-vcfg (incr069): failed Description: After the compiler reports a VCFG violation, an inheritance clause is deleted, thereby removing the offending generic class from the universe Execution error in file /home/eweasel/eweasel/tests/incr069/tcf at line 20 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST1 code VCFG(1) Final status: paused Expected result: Final status: completed Test chg-invariant-expr-type (incr070): passed Test delete-finite-add-back (incr071): passed Test expand-generic-no-creation-call (incr072): failed Description: After initial compilation, a class TEST2 which is used as an actual generic parameter (where the corresponding formal generic parameter is used to declare an attribute) is changed so that it is an expanded class Execution error in file /home/eweasel/eweasel/tests/incr072/tcf at line 29 Original text: compare exec_output2 output2 Substituted text: compare exec_output2 output2 Reason: files being compared do not have identical contents Test change-attr-expanded-type (incr073): passed Test bogus-vlec (incr074): failed Description: After initial compilation, the type of an actual generic parameter which is part of a generic derivation is changed and the system is recompiled Execution error in file /home/eweasel/eweasel/tests/incr074/tcf at line 21 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST2 code VLEC Final status: paused Expected result: Final status: completed Test vtbt-weasel (incr075): passed Test vwst-sneak (incr076): passed Test string-to-bit1 (incr077): failed Description: After initial compilation, an attribute of an expanded class is changed from a constant STRING to BIT 1 and the system is executed again Execution error in file /home/eweasel/eweasel/tests/incr077/tcf at line 30 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: system_failed had_panic Expected result: Final status: completed Test string-to-bit-refreeze (incr078): failed Description: After initial compilation where the system is frozen, an attribute of an expanded class is changed from a constant STRING to BIT 1. The changes are refrozen and the system is re-executed Execution error in file /home/eweasel/eweasel/tests/incr078/tcf at line 35 Original text: compare exec_output2 output2 Substituted text: compare exec_output2 output2 Reason: files being compared do not have identical contents Test vuar-weasel (incr079): passed Test vjaw-delete-creation-clause (incr080): passed Test delete-adapt-vscn-weasel (incr081): failed Description: After initial compilation, an `adapt' clause which specifies that another cluster should be ignored is deleted from the Ace and the system is recompiled Execution error in file /home/eweasel/eweasel/tests/incr081/tcf at line 22 Original text: compile_result validity_error NONE VSCN Substituted text: compile_result validity_error NONE VSCN Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error code VSCN Final status: paused Test name-exists-invariant (incr082): failed Description: The "Hello weasel" program compiles and executes fine with `assertion (all)' and no precompiled cluster. Then file "string.e" is excluded from the kernel cluster. After the VD23 errors are reported, the exclude clause is removed and compilation completes. System is re-executed. Execution error in file /home/eweasel/eweasel/tests/incr082/tcf at line 34 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: system_failed Expected result: Final status: completed Test exclude-any-add-back (incr083): failed Description: A system compiles correctly without a precompiled cluster. Then file "any.e" is excluded from the kernel cluster. After the VD23 errors are reported, the exclude clause is removed and compilation is resumed Execution error in file /home/eweasel/eweasel/tests/incr083/tcf at line 24 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error code VHPR(1) Final status: paused Expected result: Final status: completed Test chg-bit-length-refreeze (incr084): passed Test create-chg-to-nonexpanded (incr085): passed Test frozen-feat-bogus-vd27 (incr086): passed Test vomb-sneak (incr087): failed Description: After initial compilation, an inherited integer constant attribute which is an inspect constant in the heir is changed to a function with no arguments Execution error in file /home/eweasel/eweasel/tests/incr087/tcf at line 20 Original text: compile_result validity_error TEST VOMB(2) Substituted text: compile_result validity_error TEST VOMB(2) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VOMB(2) Final status: paused Test new-ace-root-still-vscn (incr088): failed Description: A system whose root class inherits from a class TEST2 which exists in two different clusters correctly elicits a VSCN error report from the compiler. Then the Ace is changed to indicate a different root class, which does not depend on TEST2. Execution error in file /home/eweasel/eweasel/tests/incr088/tcf at line 24 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error code VSCN Final status: paused Expected result: Final status: completed Test delete-generic-class-header (incr089): failed Description: A system compiles correctly. Then most of the class header of one of the (generic) classes is deleted, except for the word class and the system is recompiled Execution error in file /home/eweasel/eweasel/tests/incr089/tcf at line 21 Original text: compile_result validity_error TEST VTCT Substituted text: compile_result validity_error TEST VTCT Reason: actual compilation result does not match expected result Actual result: Syntax error in class TEST3 at line 6 Final status: paused Expected result: Validity error in class TEST code VTCT Final status: paused Test vtbt-granddad-weasel (incr090): failed Description: An inherited constant integer attribute used as the number of bits in a BIT type is changed to a function with no arguments and the modified class is not an immediate ancestor of the class with the BIT type Execution error in file /home/eweasel/eweasel/tests/incr090/tcf at line 21 Original text: compile_result validity_error TEST VTBT Substituted text: compile_result validity_error TEST VTBT Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VTBT Final status: paused Test intro-vtat-attr-to-proc (incr091): failed Description: After initial compilation, an attribute of type STRING which is the anchor for another feature is changed to a procedure with no arguments and the system is recompiled Execution error in file /home/eweasel/eweasel/tests/incr091/tcf at line 19 Original text: compile_result validity_error TEST VTAT(1) Substituted text: compile_result validity_error TEST VTAT(1) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VTAT(1) Final status: paused Test vomb2-called-vomb5 (incr092): failed Description: After initial compilation a constant attribute in an ancestor class is changed from a unique constant to a constant integer, thereby introducing a VOMB(5) error. When the compiler detects the error, the constant integer is changed to an integer function with no arguments. Execution error in file /home/eweasel/eweasel/tests/incr092/tcf at line 26 Original text: compile_result validity_error TEST VOMB(2) Substituted text: compile_result validity_error TEST VOMB(2) Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VOMB(5) Final status: paused Expected result: Validity error in class TEST code VOMB(2) Final status: paused Test vcfg1-called-vffd7 (incr093): failed Description: A class with a once function whose return type is a formal generic parameter is correctly reported to violate VFFD(7). Then a class with the same name as the formal parameter is added to one of the clusters, introducing a VCFG(1) violation Execution error in file /home/eweasel/eweasel/tests/incr093/tcf at line 18 Original text: compile_result validity_error TEST1 VCFG(1) Substituted text: compile_result validity_error TEST1 VCFG(1) Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST1 code VFFD(7) Final status: paused Expected result: Validity error in class TEST1 code VCFG(1) Final status: paused Test bogus-vdrs (incr094): failed Description: After initial compilation an inherited variable attribute in a grandparent is changed to a constant attribute, thereby introducing a VDRS(2) violation. Then the constant attribute is changed back to a variable attribute. Execution error in file /home/eweasel/eweasel/tests/incr094/tcf at line 26 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VDRS(2) Final status: paused Expected result: Final status: completed Test vwst-cant-find-feature (incr095): passed Test vgcp-sneak (incr096): passed Test anchored-constraint-touch-file (incr097): passed Test redef-external-chg-to-effect (incr098): passed Test vjaw-sneak (incr099): passed Test external-with-alias-new-root (incr100): passed Test vncb-sneak (incr101): passed Test bigger-bit-func-wrong-value (incr102): failed Description: After initial compilation, a constant integer attribute referenced in a BIT type which is the return type of a function is given a different (larger) value. After recompilation, the function should return a larger BIT type during system execution. Execution error in file /home/eweasel/eweasel/tests/incr102/tcf at line 25 Original text: compare exec_output2 output2 Substituted text: compare exec_output2 output2 Reason: files being compared do not have identical contents Test vdrd-weasel (incr103): failed Description: After initial compilation, a class is changed to an expanded class. The compiler detects the newly introduced VDRD(2) violation. Then an invalid creation instruction is added and then removed. Execution error in file /home/eweasel/eweasel/tests/incr103/tcf at line 26 Original text: compile_result validity_error TEST1 VGCC(5) Substituted text: compile_result validity_error TEST1 VGCC(5) Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VDRD(2) Final status: paused Expected result: Validity error in class TEST1 code VGCC(5) Final status: paused Test ext-with-alias-new-cluster (incr104): passed Test veen-cant-find-feature (incr105): passed Test no-precomp-chg-class-name (incr106): failed Description: After initial compilation (without using a precompiled library), the text of the root class is modified to give the class a different name. Then the system is recompiled. Execution error in file /home/eweasel/eweasel/tests/incr106/tcf at line 19 Original text: compile_result validity_error NONE VD20 Substituted text: compile_result validity_error NONE VD20 Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error code VD20 Final status: paused Test root-none-remove-cluster (incr107): passed Test veen2-called-veen22 (incr108): passed Test bool-string-to-bit-ref (incr109): passed Test chg-expanded-source-freeze (incr110): passed Test melt-chg-attr-type-freeze (incr111): passed Test actual-generic-vtbt-sneak (incr112): failed Description: After initial compilation, the value of a constant integer attribute is changed, thereby introducing a VTBT violation in a type used as an actual generic parameter. When the system is recompiled, the compiler does not detect the VTBT violation. Execution error in file /home/eweasel/eweasel/tests/incr112/tcf at line 19 Original text: compile_result validity_error TEST VTBT Substituted text: compile_result validity_error TEST VTBT Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VTBT Final status: paused Test vtcg-sneak (incr113): failed Description: After initial compilation, an actual generic parameter in a generic constraint is changed, thereby introducing a VTCG error. When the system is recompiled, the compiler does not detect the error, but only if the generic class is also an expanded class. Execution error in file /home/eweasel/eweasel/tests/incr113/tcf at line 21 Original text: compile_result validity_error TEST VTCG Substituted text: compile_result validity_error TEST VTCG Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VTCG Final status: paused Test vtat1-called-vtcg (incr114): failed Description: After initial compilation, an attribute used as an anchor in a type serving as actual generic parameter is changed to a procedure. When the system is recompiled, the compiler incorrectly reports a VTCG error (which is impossible since the involved generic class has no generic constraints) instead of a VTAT(1) error. Execution error in file /home/eweasel/eweasel/tests/incr114/tcf at line 21 Original text: compile_result validity_error TEST VTAT(1) Substituted text: compile_result validity_error TEST VTAT(1) Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VTCG Final status: paused Expected result: Validity error in class TEST code VTAT(1) Final status: paused Test new-root-cluster-bogus-vscn (incr115): failed Description: After initial compilation, the Ace is changed to indicate a new root class, which happens to be generic. The compiler detects the VSRC(1) error. But when the Ace is changed to indicate a new (and newly added) root cluster with a valid root class the compiler reports a bogus VSCN error. Execution error in file /home/eweasel/eweasel/tests/incr115/tcf at line 33 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error code VSCN Final status: paused Expected result: Final status: completed Test delete-ace-resume-compile (incr116): passed Test new-precomp-cluster-bogus-vd41 (incr117): passed Test short-manifest-bit-array-arg (incr118): failed Description: A class calls a a function which takes an argument of type `ARRAY [BIT 500]', passing as actual argument a manifest array of bit constants which are each only 1 bit long. After initial compilation where the system is frozen, the return type of the function is changed from `BIT 2000' to `BIT 2100' and changes are melted. System execution then ends with a "bit copy panic (void source)" run-time panic. Execution error in file /home/eweasel/eweasel/tests/incr118/tcf at line 29 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: system_failed had_panic Expected result: Final status: completed Test reduce-bit-attribute-size (incr119): failed Description: A class has an attribute of type `BIT Weasel_bits', where `Weasel_bits' is a very large constant integer. After initial compilation where the system is melted, the integer value is changed to a very small number. But system execution still ends with an "unknown attribute type" panic. Execution error in file /home/eweasel/eweasel/tests/incr119/tcf at line 22 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: system_failed had_panic Expected result: Final status: completed Test vuar1-called-veen (incr120): passed Test none-then-string-generic (incr121): passed Test switch-expanded-attributes (incr122): passed Test add-attribute-wrong-strip (incr123): passed Test switch-parents-assertion-order (incr124): passed Test change-numeric-formal-argument (incr125): passed Test generic-veen-sneak (incr126): failed Description: After initial compilation, the type of an entity in a generic class is changed from `FOO [G]' (where G is the name of the formal parameter of the enclosing generic class) to `FOO [STRING], thereby introducing a VEEN error. When the system is recompiled, the compiler does not detect the error, but only if a generic generic constraint is also added to the single formal generic parameter of FOO. Execution error in file /home/eweasel/eweasel/tests/incr126/tcf at line 25 Original text: compile_result validity_error TEST VEEN Substituted text: compile_result validity_error TEST VEEN Reason: actual compilation result does not match expected result Actual result: Final status: aborted system_failed had_exception (Segmentation violation) had_panic Expected result: Validity error in class TEST code VEEN Final status: paused Test add-unused-formal-generic (incr127): failed Description: After initial compilation, an extra unused formal generic parameter is added to a generic class and an extra actual generic parameter is added to the only generic derivation of this class. After recompilation, system execution output should be unchanged, but execution instead terminates with a segmentation fault. The initial compilation and recompilation can be (melt, melt) or (freeze, freeze). Execution error in file /home/eweasel/eweasel/tests/incr127/tcf at line 29 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Final status: aborted system_failed had_exception (Segmentation violation) had_panic Expected result: Final status: completed Test make-generic-expanded-freeze (incr128): failed Description: After initial compilation where the system is melted, a generic class header is changed so that it is expanded and the system is frozen. The resulting C code compiles, but will not link due to multiply defined symbols. Execution error in file /home/eweasel/eweasel/tests/incr128/tcf at line 24 Original text: c_compile_result ok Substituted text: c_compile_result ok Reason: actual C compilation result does not match expected result Actual result: no_failure C_compilation_not_completed Expected result: no_failure C_compilation_completed Test vtcg-in-generic-constraint (incr129): failed Description: After initial compilation, a constraint is added to the formal generic parameter of a class which is used in the generic constraint of another class. When the system is recompiled, the compiler correctly reports a VTCG error. But when the newly added constraint is removed and compilation is resumed, the compiler dies with a segmentation fault during degree 2. Execution error in file /home/eweasel/eweasel/tests/incr129/tcf at line 27 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Final status: aborted system_failed had_exception (Segmentation violation) had_panic Expected result: Final status: completed Test vtct-vtcg-die-degree-5 (incr130): failed Description: A known sequence of changes which involves changing the name of a class to elicit a VTCT error and changing the actual generic parameter in a type in a generic constraint to a type to elicit a VTCG error causes the compiler to terminate with a segmentation fault during degree 5. Execution error in file /home/eweasel/eweasel/tests/incr130/tcf at line 24 Original text: compile_result validity_error TEST2 VTCT Substituted text: compile_result validity_error TEST2 VTCT Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST2 code VTCT Final status: paused Test finalize-remove-expanded-type (incr131): passed Test external-arg-signature-mismatch (incr132): passed Test bogus-vd28 (incr133): failed Description: A system has an Ace which specifies the precompiled cluster EiffelBase and also has a cluster with Cluster_tag `kernel'. After initial compilation, the tag `kernel' is changed to `other' and the system is recompiled. The compiler then reports an erroneous VD28 error. Execution error in file /home/eweasel/eweasel/tests/incr133/tcf at line 21 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error code VD28 Final status: paused Expected result: Final status: completed Test remove-part-of-external-decl (incr134): failed Description: After initial compilation where the system is frozen, an external routine which has a Special_external_declaration, Signature and Include_files has its External part simplified to just `external "C"'. When the system is refrozen, the C code incorrectly uses the old information about the external routine (prior to the change). Same problem with finalizing and re-finalizing code. Execution error in file /home/eweasel/eweasel/tests/incr134/tcf at line 42 Original text: c_compile_result ok Substituted text: c_compile_result ok Reason: actual C compilation result does not match expected result Actual result: no_failure C_compilation_not_completed Expected result: no_failure C_compilation_completed Test cast-external-add-white-space (incr135): passed Test make-visible-class-unreachable (incr136): failed Description: A system has an Ace which specifies a visible class FOO, where FOO is reachable from the root class. After initial compilation where the system is frozen or finalized, a local is removed, making class FOO unreachable from the root. When the system is recompiled, the compiler correctly detects the VD31 error. But when the local is added back in and compilation is resumed, the compiler dies during degree -3 (during dead code removal if system was finalized). Execution error in file /home/eweasel/eweasel/tests/incr136/tcf at line 21 Original text: compile_result validity_error NONE VD31 Substituted text: compile_result validity_error NONE VD31 Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error code VD31 Final status: paused Test fix-veen-add-vrfa (incr137): passed Test vtcg-weasel (incr138): passed Test rename-get-new-precursor (incr139): passed Test add-remove-root-generic (incr140): passed Test none-then-tuple-generic (incr141): passed Test make-root-expanded-freeze (incr142): passed Test change-expanded-tuple-bit (incr143): passed Test vtcg-remove-creation-feat (incr144): failed Description: After initial compilation, a creation feature named in a generic constraint is removed entirely from the class. When the system is recompiled, the VTCG validity error is not detected. Execution error in file /home/eweasel/eweasel/tests/incr144/tcf at line 21 Original text: compile_result validity_error TEST VTCG Substituted text: compile_result validity_error TEST VTCG Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VTCG Final status: paused Test add-remove-vsrc (incr145): passed Test add-remove-constraint-vtcg (incr146): failed Description: After initial compilation, a constraint on a formal generic parameter of a class that is used in the generic constraint of another class is changed. When the system is recompiled, the compiler correctly reports a VTCG error. But when the constraint is changed back to its original valid form and compilation is resumed, the compiler dies with a bus error. Execution error in file /home/eweasel/eweasel/tests/incr146/tcf at line 32 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Final status: aborted system_failed had_exception (Segmentation violation) had_panic Expected result: Final status: completed Test melt-then-empty-ace (incr147): passed Test vtcg-creator-try-again (incr148): failed Description: When a system with a VTCG error (creation procedure named in constraint does not exist) is compiled, the compiler detects the error. However, when the system is melted again to resume compilation, the compiler accepts the classes even though the error is still there. Execution error in file /home/eweasel/eweasel/tests/incr148/tcf at line 17 Original text: compile_result validity_error TEST1 VTCG Substituted text: compile_result validity_error TEST1 VTCG Reason: actual compilation result does not match expected result Actual result: Final status: aborted system_failed had_exception (Segmentation violation) had_panic Expected result: Validity error in class TEST1 code VTCG Final status: paused Test unreachable-syntax-error (incr149): failed Description: A system with two classes is compiled. The compiler detects the syntax error on the second class. Then the root class is changed so that the second class is no longer reachable from the root. When compilation is resumed, the compiler still reports a syntax error on the unreachable class. Execution error in file /home/eweasel/eweasel/tests/incr149/tcf at line 20 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Syntax error in class TEST1 at line 8 Final status: paused Expected result: Final status: completed Test add-remove-veen-freeze (incr150): passed Test finalize-move-attribute (incr151): failed Description: After initial compilation where a system is finalized, an attribute is moved to a parent class and the parent's name is changed to the child's name (child is renamed to something unused). When the system is recompiled, the compiler dies. Execution error in file /home/eweasel/eweasel/tests/incr151/tcf at line 30 Original text: compile_result validity_error DECOMPRESSOR VGCP(1) Substituted text: compile_result validity_error DECOMPRESSOR VGCP(1) Reason: actual compilation result does not match expected result Actual result: Validity error in class DATA_TRANSFORM_PROCESS code VGCP(1) Final status: paused Expected result: Validity error in class DECOMPRESSOR code VGCP(1) Final status: paused Test divide-melt-panic (melt001): passed Test bit-melt-metamorphose (melt002): passed Test manifest-array-with-old (melt003): passed Test ref-actual-expanded-formal (melt004): passed Test real-const-arith-to-double (melt005): passed Test multiple-unary-free-ops (melt006): passed Test chained-assertion-melt (melt007): passed Test melted-putreal-wrong (melt008): passed Test invariant-melt-panic (melt009): manual Test melted-void-expanded-arg (melt009): manual Test weird-sprintf-melt-panic (melt010): manual Test manifest-array-int-double (melt011): passed Test raise-exception-call-self (melt012): failed Description: A routine which conditionally raises an exception has a rescue clause which at first calls the routine itself before retrying, then later just unconditionally retries. Execution error in file /home/eweasel/eweasel/tests/melt012/tcf at line 16 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: system_failed had_panic Expected result: Final status: completed Test invalid-assertion-level (melt013): passed Test creation-proc-modify-target (melt014): failed Description: The creation procedure of a class assigns Void to the attribute to which the creation procedure is being applied (by the root creation procedure) Execution error in file /home/eweasel/eweasel/tests/melt014/tcf at line 18 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: system_failed Expected result: Final status: completed Test nested-expanded-creation (melt015): passed Test chg-external-to-internal (melt016): passed Test melted-invariant-memory-leak (melt017): passed Test expanded-melted-equal-current (melt018): passed Test postcondition-veen-then-restore (melt019): passed Test invariant-veen-skip-invariant (melt020): passed Test chg-argless-func-to-constant (melt021): passed Test ensure-extend-linked-list (melt022): passed Test old-expanded-melted-creations (melt023): failed Description: A class has a routine with a postcondition which references `old arg' where `arg' (the routine's argument) is of an expanded type. When postconditions are monitored and the system is melted, evaluation of the postcondition appears to incorrectly cause some creations of objects of the expanded type. Execution error in file /home/eweasel/eweasel/tests/melt023/tcf at line 18 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test manifest-array-expanded-generic (melt024): passed Test bit-two-to-the-twenty-four (melt025): failed Description: A class has a procedure with a local entity of type BIT N, where N is >= 2 ^ 24. The system compiles fine, but when executed it dies with a run-time panic if it was melted. Frozen code works fine for BIT sizes up to at least 200_000_000. Execution error in file /home/eweasel/eweasel/tests/melt025/tcf at line 16 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: system_failed had_panic Expected result: Final status: completed Test manifest-array-of-expanded (melt026): passed Test expanded-clone-of-clone (melt027): passed Test named-bit-constant-argument (melt028): passed Test named-constant-call-out (melt029): passed Test cloned-bit-actual-argument (melt030): failed Description: A routine passes `clone (b)' where `b' is of type BIT 8 to a routine whose formal argument is of type BIT 8. If the system is melted, system execution ends with a "Create on deferred" exception. Frozen code works fine. Execution error in file /home/eweasel/eweasel/tests/melt030/tcf at line 16 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: system_failed Expected result: Final status: completed Test evaluate-old-when-retry (melt031): failed Description: A routine has a postcondition which references an "old" expression. The body of the routine raises an exception which is retried by the rescue clause. When postconditions are monitored and the system is melted, the "old" expression is incorrectly evaluated again when the retry instruction is executed. Frozen code does not re-evaluate the "old" expression when it does a retry. Execution error in file /home/eweasel/eweasel/tests/melt031/tcf at line 17 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test eval-precondition-when-retry (melt032): failed Description: A routine has a precondition. The body of the routine raises an exception which is retried by the rescue clause. When precondition are monitored and the system is melted, the routine precondition is incorrectly evaluated again when the retry instruction is executed. Frozen code works correctly. Execution error in file /home/eweasel/eweasel/tests/melt032/tcf at line 17 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test melted-two-level-rescue (melt033): failed Description: A routine whose rescue clause tries to display the meaning of the exception dies with an exception trace if the original exception is two levels down, the called routine also has a rescue clause and the code is melted. Frozen code works fine. Execution error in file /home/eweasel/eweasel/tests/melt033/tcf at line 17 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test who-gets-exp-local-exception (melt034): failed Description: A routine has a local of an expanded type, where the base class of this type has a creation procedure that raises an exception. If the system is melted, the recipient of the exception is not the routine containing the declaration of the local but that routine's caller. If the system is frozen, the routine containing the declaration of the expanded local is the recipient of the exception. Execution error in file /home/eweasel/eweasel/tests/melt034/tcf at line 18 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test when-init-expanded-local (melt035): failed Description: A routine has a precondition, postcondition, old expression in the postcondition and a local entity of an expanded type. The local of expanded type is initialized at the wrong time (before the routine's precondition is even checked), but only if the system is melted. Frozen code works correctly. Execution error in file /home/eweasel/eweasel/tests/melt035/tcf at line 18 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test manifest-array-elem-eval-order (melt036): failed Description: A routine has a manifest array, each of whose elements is a function call. The elements of the array are evaluated in reverse order of their appearance when the code is melted, but in order of appearance when frozen. Execution error in file /home/eweasel/eweasel/tests/melt036/tcf at line 17 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test old-expression-eval-order (melt037): failed Description: A routine has a postcondition which includes more than one `old' expression. The old expressions are evaluated in reverse order of their appearance when the code is melted, but in order of appearance when it is frozen. Execution error in file /home/eweasel/eweasel/tests/melt037/tcf at line 19 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test pass-expanded-like-current (melt038): passed Test generic-local-expanded-actual (melt039): passed Test infix-integer-real-double (melt040): passed Test bit-two-to-the-fifteen (melt041): failed Description: A class has a call to a function which takes an argument of type BIT N and just returns its argument. The system compiles fine, but when executed it dies with the exception "object allocation: No more memory" if it was melted and if N >= 32768 (2 ^ 15). Frozen code works fine for BIT sizes up to at least 1_000_000. Execution error in file /home/eweasel/eweasel/tests/melt041/tcf at line 16 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: system_failed Expected result: Final status: completed Test put-double-five-over-two (melt042): passed Test expanded-creation-alloc-memory (melt043): passed Test melted-creation-pass-target (melt044): failed Description: A creation instruction is applied to an entity (local or attribute) which is already attached to an object and the current value of the entity is passed to the creation procedure (e.g., !!x.make (x)). If the code is melted, the newly created object is passed to the creation procedure instead of the object to which the entity is attached before the creation instruction. Frozen code works correctly. Execution error in file /home/eweasel/eweasel/tests/melt044/tcf at line 18 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test bit-arg-extend-frozen (freez001): failed Description: A call to a routine whose formal argument is a BIT type with a larger number of bits than the actual argument. The actual argument should be extended with trailing zeros Execution error in file /home/eweasel/eweasel/tests/freez001/tcf at line 26 Original text: compare exec_output2 output1 Substituted text: compare exec_output2 output1 Reason: files being compared do not have identical contents Test frozen-xor-precedence-error (freez002): passed Test extend-short-bit-constant (freez003): passed Test frozen-high-bit-characters (freez004): passed Test who-gets-old-exception (freez005): failed Description: A routine has a postcondition with an `old' expression which involves a function call. An exception is raised during execution of this function. If the system is frozen, the recipient of the exception is not the routine containing the `old' expression, but that routine's caller. If the system is melted, the routine containing the `old' expression is the recipient of the exception. Execution error in file /home/eweasel/eweasel/tests/freez005/tcf at line 27 Original text: compare exec_output2 output Substituted text: compare exec_output2 output Reason: files being compared do not have identical contents Test expanded-local-no-creation (freez006): failed Description: A routine `f' has a local of an expanded type, but does not reference this local in the routine body. The base class of the expanded type has a creation procedure. When the system is executed, the creation procedure of the expanded class is not invoked when `f' is called, but only if the system was frozen. A melted system works correctly. Execution error in file /home/eweasel/eweasel/tests/freez006/tcf at line 30 Original text: compare exec_output2 output Substituted text: compare exec_output2 output Reason: files being compared do not have identical contents Test init-expanded-local-when-retry (freez007): failed Description: A routine has a local of an expanded type. The body of the routine raises an exception which is retried by the rescue clause. If the system is frozen, the expanded local is incorrectly initialized again when the retry instruction is executed. Melted code works correctly. Execution error in file /home/eweasel/eweasel/tests/freez007/tcf at line 30 Original text: compare exec_output2 output Substituted text: compare exec_output2 output Reason: files being compared do not have identical contents Test redefine-expanded-to-attribute (freez008): failed Description: A routine redefines an inherited routine that returns an expanded type or a BIT type and replaces it with an attribute. It also includes references to the attribute. The code compiles fine, but dies with a segmentation fault or "feature applied to void reference" if it was frozen. Melted code works fine. This appears to be a code generation bug. Execution error in file /home/eweasel/eweasel/tests/freez008/tcf at line 18 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: system_failed had_panic Expected result: Final status: completed Test assign-attempt-exp-to-ref (freez009): passed Test deep-clone-frozen-not-equal (freez010): passed Test compare-frozen-high-bit-chars (freez011): passed Test compare-frozen-real-arg (freez012): passed Test frozen-retried-precondition (freez013): passed Test finalize-expanded-not-equal (final001): passed Test finalize-debug-inst-not-kept (final002): passed Test finalize-manifest-array-call (final003): passed Test finalize-ensure-keep-dead (final004): passed Test finalize-pass-wrong-argument (final005): passed Test finalize-expanded-generic-bit (final006): failed Description: Finalizing a particular system with a couple of levels of expanded types which are generic and using `BIT 8' as actual generic at the top level generates C code which produces the wrong output. If the system is instead melted or frozen, system execution works as expected. Execution error in file /home/eweasel/eweasel/tests/final006/tcf at line 24 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test finalize-expand-creation-order (final007): failed Description: A system has an attribute of an expanded type, where the base class of this type also has an expanded attribute. The system compiles fine when finalized, but when the system is executed the creation procedures are called in the wrong order. If the system is instead melted or frozen, system execution works as expected. Execution error in file /home/eweasel/eweasel/tests/final007/tcf at line 23 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test finalize-expanded-arg-result (final008): passed Test finalize-array-optimization (final009): passed Test finalize-random-arrayed-list (final010): passed Test finalize-skip-rescue-clause (final011): passed Test finalize-cast-func-result (final012): passed Test finalize-array-opt-expanded (final013): passed Test finalize-redef-external-macro (final014): failed Description: An external routine implemented as a C macro is redefined in two descendants. For a call to the routine which cannot be statically bound, incorrect C code is generated if the system is finalized (the `()' after the function call is omitted). Execution error in file /home/eweasel/eweasel/tests/final014/tcf at line 21 Original text: c_compile_result ok Substituted text: c_compile_result ok Reason: actual C compilation result does not match expected result Actual result: no_failure C_compilation_not_completed Expected result: no_failure C_compilation_completed Test finalize-inline-precursor (final015): passed Test finalize-array-opt-2 (final016): passed Test finalize-delayed-deferred-call (final017): passed Test finalize-inline-none-proc (final018): failed Description: A system has a routine with a call to a procedure that takes an argument of type NONE and clones it. When the system is finalized with inlining, the compiler dies. Execution error in file /home/eweasel/eweasel/tests/final018/tcf at line 13 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Final status: aborted system_failed had_exception (Segmentation violation) had_panic Expected result: Final status: completed Test print-double (exec001): passed Test bit-out-wrong (exec002): passed Test real-conform-double (exec003): failed Description: A call `real.conforms_to(double' Execution error in file /home/eweasel/eweasel/tests/exec003/tcf at line 18 Original text: compare exec_output1 output1 Substituted text: compare exec_output1 output1 Reason: files being compared do not have identical contents Test power-operator (exec004): passed Test once-routine-precond-fail (exec005): failed Description: Precondition is violated on the first call to a once routine, but not on a second call Execution error in file /home/eweasel/eweasel/tests/exec005/tcf at line 17 Original text: compare exec_output1 output1 Substituted text: compare exec_output1 output1 Reason: files being compared do not have identical contents Test wrong-int-div (exec006): passed Test old-current-ne-current (exec007): passed Test plus-before-free-unary (exec008): passed Test free-binary-wrong-precedence (exec009): passed Test divide-by-real-zero (exec010): failed Description: A divide by real zero (0.0) should trigger an exception Execution error in file /home/eweasel/eweasel/tests/exec010/tcf at line 17 Original text: compare exec_output1 output1 Substituted text: compare exec_output1 output1 Reason: files being compared do not have identical contents Test expanded-creation-order (exec011): passed Test redecl-implicit-precond (exec012): passed Test bit-equal-wrong (exec013): passed Test variable-attr-wrong-address (exec014): manual Test readline-long-line-wrong (exec015): passed Test rescue-floating-exception (exec016): passed Test strip-wont-c-compile (exec017): passed Test strip-with-void (exec018): passed Test manifest-array-concat (exec019): passed Test manifest-array-of-bits (exec020): passed Test very-deep-clone (exec021): failed Description: A call to deep_clone on a deep object structure (>= 43664) Execution error in file /home/eweasel/eweasel/tests/exec021/tcf at line 19 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: unknown Expected result: Final status: completed Test out-of-locals (exec022): failed Description: A class with a routine which has 1000 local variables Execution error in file /home/eweasel/eweasel/tests/exec022/tcf at line 19 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: system_failed had_panic Expected result: Final status: completed Test prefix-oper-attribute (exec023): failed Description: A prefix operator which is implemented as an variable integer attribute Execution error in file /home/eweasel/eweasel/tests/exec023/tcf at line 17 Original text: compare exec_output1 output1 Substituted text: compare exec_output1 output1 Reason: files being compared do not have identical contents Test long-linked-list-fails (exec024): passed Test malloc-free-collect-coalesce (exec026): passed Test memory-leak (exec027): failed Description: A system which allocates a number of fairly large strings (approx 0.4 MB each) and calls routines allocate_tiny, full_collect and full_coalesce in class MEMORY Execution error in file /home/eweasel/eweasel/tests/exec027/tcf at line 19 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: system_failed had_panic Expected result: Final status: completed Test big-bit-attribute (exec028): passed Test external-feature-address (exec029): passed Test null-char-in-string (exec030): passed Test uninit-root-class-arg (exec031): passed Test int-equal-int (exec032): passed Test wrong-oper-int-convert (exec033): passed Test invariant-empty-property (exec034): passed Test expanded-but-void-attribute (exec035): failed Description: A system with a generically derived type whose actual generic parameter is itself a generic derivation results in a class TEST1 with an attribute of an expanded type. An instance of TEST1 is created. Execution error in file /home/eweasel/eweasel/tests/exec035/tcf at line 19 Original text: compare exec_output1 output1 Substituted text: compare exec_output1 output1 Reason: files being compared do not have identical contents Test expanded-creation-panic (exec036): passed Test create-integer-then-incr (exec037): passed Test once-expanded-result (exec038): passed Test create-zero-len-bool-string (exec039): passed Test merge-sort-panic (exec040): passed Test random-memory-alloc-panic (exec041): passed Test cecil-panic (exec042): manual Test deep-clone-not-deep-equal (exec043): passed Test auto-resize-exp-arrayed-list (exec044): failed Description: A class which repeatedly extend an ARRAYED_LIST [X], where `X' is an expanded type, compiles fine. When it is executed, it quickly dies with a segmentation fault in `auto_resize'. Execution error in file /home/eweasel/eweasel/tests/exec044/tcf at line 20 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: system_failed had_panic Expected result: Final status: completed Test reference-to-sub-object (exec045): passed Test class-invariant-fail-panic (exec046): failed Description: The creation procedure of the root class repeatedly calls another routine, which has a rescue clause. This latter routine has a qualified call of an exported feature in a class which has a class invariant. If assertion level `invariant' is specified *and* the class invariant is violated, system execution quickly ends with a panic. Also, once the class invariant is violated, it is never checked again. Execution error in file /home/eweasel/eweasel/tests/exec046/tcf at line 18 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: system_failed had_panic Expected result: Final status: completed Test clearer-ref-to-sub-object (exec047): failed Description: A clearer example of a system which obtains a reference to a sub-object and uses it to change that sub-object. Execution error in file /home/eweasel/eweasel/tests/exec047/tcf at line 19 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test external-root-proc-with-args (exec048): manual Test wrong-alt-precondition-order (exec049): failed Description: A class inherits different versions of a routine with the same name and signature from different parents, but redefines the feature. The flatshort form looks as expected, with all preconditions of redefined versions of the feature in the expected order. But when the system is executed, the preconditions are checked in a different order than that indicated by the flatshort form. Execution error in file /home/eweasel/eweasel/tests/exec049/tcf at line 23 Original text: compare exec_output1 output1 Substituted text: compare exec_output1 output1 Reason: files being compared do not have identical contents Test join-effect-precond-skipped (exec050): failed Description: A class inherits three deferred features and joins and effects them. The flatshort form of the heir class looks as expected, with all alternative preconditions present in the expected order. But when the system is executed, only one of the preconditions of the deferred features is executed. Execution error in file /home/eweasel/eweasel/tests/exec050/tcf at line 20 Original text: compare exec_output1 output1 Substituted text: compare exec_output1 output1 Reason: files being compared do not have identical contents Test attribute-postcondition-lost (exec051): failed Description: A class redefines an inherited function into an attribute. The function has a postcondition, but this postcondition is not added to the class invariant. Execution error in file /home/eweasel/eweasel/tests/exec051/tcf at line 18 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test arrayed-list-clone-not-equal (exec052): passed Test root-no-class-invariant (exec053): passed Test integer-ref-gt-integer (exec054): passed Test expanded-generic-like-current (exec055): passed Test skip-deferred-feat-assertions (exec056): failed Description: A class inherits a deferred feature from one class and an effective feature of the same name from another class. Both features have a precondition and a postcondition. The flatshort form of the heir class looks as expected, with all alternative preconditions present. But when the system is executed, the precondition and postcondition of the deferred precursor feature are not monitored. Execution error in file /home/eweasel/eweasel/tests/exec056/tcf at line 19 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: system_failed Expected result: Final status: completed Test array-of-expanded-insert-fails (exec057): passed Test once-bit-type-result (exec058): failed Description: A system which calls a once function whose result type is BIT type should execute correctly, but dies with a run-time panic if frozen (or with a segmentation fault if completely melted). Execution error in file /home/eweasel/eweasel/tests/exec058/tcf at line 28 Original text: compare exec_output2 output Substituted text: compare exec_output2 output Reason: files being compared do not have identical contents Test bit-function-explicit-creation (exec059): passed Test inherit-array-of-expanded (exec060): passed Test bit-copy-panic-void-source (exec061): failed Description: A system creates an ARRAY [BIT 32] and tries to print item 1 without putting any items in the array. It compiles fine, but dies with a run-time panic when executed (bit copy panic). Execution error in file /home/eweasel/eweasel/tests/exec061/tcf at line 19 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: system_failed had_panic Expected result: Final status: completed Test conforms-to-with-generics (exec062): passed Test deep-clone-panic (exec063): passed Test random-string-blank-panic (exec064): passed Test random-array-alloc-loop (exec065): passed Test many-locals-deep-recursion (exec066): passed Test big-expanded-attributes (exec067): passed Test big-manifest-array-of-strings (exec068): manual Test keep-on-stripping (exec069): passed Test deep-exception-in-rescue (exec070): failed Description: A class has a recursive routine `f' which at the depths of its recursion calls a routine `weasel' which raises an exception. Routine `weasel' has a rescue clause which first calls `f' and then retries and succeeds. When the system is executed, it dies with a panic (segmentation fault) if the depth of "exception in rescue clause" nesting is greater than 256. Execution error in file /home/eweasel/eweasel/tests/exec070/tcf at line 16 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: system_failed had_panic Expected result: Final status: completed Test few-locals-deep-recursion (exec071): passed Test expanded-create-big-string (exec072): passed Test negate-big-bit-local (exec073): passed Test big-array-of-bit (exec074): passed Test negative-eiffel-memory-used (exec075): passed Test repeated-manifest-bit-array (exec076): passed Test strip-with-expanded-attr (exec077): failed Description: A class calls the `strip' operator and has an attribute of an expanded type. Executing the system results in an "unknown attribute type" run-time panic. Execution error in file /home/eweasel/eweasel/tests/exec077/tcf at line 17 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: system_failed had_panic Expected result: Final status: completed Test manifest-array-of-strip (exec078): passed Test rescue-recurse-many-retries (exec079): failed Description: A routine which conditionally raises an exception has a rescue clause which always retries, but which first calls the routine itself recursively the first time the rescue clause is executed. Executing the system with garbage collection off causes a run-time panic if the number of retries is moderately large (331 or greater). Execution error in file /home/eweasel/eweasel/tests/exec079/tcf at line 16 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: system_failed had_panic Expected result: Final status: completed Test diff-bit-constants-deep-equal (exec080): failed Description: The bit values `00B' and `11B' are deep equal according to deep_equal. Execution error in file /home/eweasel/eweasel/tests/exec080/tcf at line 17 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test print-null-get-nothing (exec081): passed Test cloned-int-passed-to-double (exec082): failed Description: A routine passes `clone (k)' where `k' is of type INTEGER to a routine whose formal argument is of type DOUBLE. If the system is melted, system execution ends with an "Illegal cast operation" run-time panic. Frozen code instead produces incorrect output. Execution error in file /home/eweasel/eweasel/tests/exec082/tcf at line 16 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: system_failed had_panic Expected result: Final status: completed Test deep-clone-bit (exec083): failed Description: A routine repeatedly does `deep_clone (b)' where `b' is of type BIT 32. System execution ends with an exception trace (on the first iteration if system is frozen or after a large number of iterations if system is melted). Execution error in file /home/eweasel/eweasel/tests/exec083/tcf at line 26 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: system_failed Expected result: Final status: completed Test retry-forget-in-assertion (exec084): failed Description: An exception is raised in a routine which is being called as part of the evaluation of an assertion. The routine handles the exception itself and retries it. Subsequent calls from the "retrying" invocation of the routine monitor assertions, but should not. Execution error in file /home/eweasel/eweasel/tests/exec084/tcf at line 17 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test rescue-show-exception-meaning (exec085): failed Description: A routine calls another routine and violates its precondition. The routine's rescue clause calls another routine to display the exception status and this routine calls a third routine. If this last routine also has a non-empty rescue clause, then execution terminates with a run-time panic while trying to display the meaning of `exception'. Execution error in file /home/eweasel/eweasel/tests/exec085/tcf at line 17 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test long-short-bits-not-equal (exec086): passed Test clone-integer-boolean-character (exec087): failed Description: Calls to `clone' with integer, boolean or character arguments do not return the expected result. Also, frozen and melted code produce different results. Execution error in file /home/eweasel/eweasel/tests/exec087/tcf at line 17 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test expanded-local-void-in-rescue (exec088): failed Description: A routine has a rescue clause and a local of an expanded type. The creation procedure of this type's base class raises an exception. In the rescue clause, the expanded local is void which causes execution to terminate with a segmentation fault. Execution error in file /home/eweasel/eweasel/tests/exec088/tcf at line 23 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: system_failed had_panic Expected result: Final status: completed Test generic-formal-bit-actual-arg (exec089): passed Test print-char-dot-is-digit (exec090): passed Test expanded-skip-class-invariant (exec091): failed Description: The class invariant should be checked after creation/initialization of an entity of an expanded type, but it is not. Invariant checking works correctly for non-expanded types. Execution error in file /home/eweasel/eweasel/tests/exec091/tcf at line 18 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test parent-invariants-reverse-order (exec092): passed Test external-routine-skip-assertion (exec093): passed Test many-big-expanded-locals (exec094): passed Test internal-exception-memory-leak (exec095): failed Description: An internal routine A with no rescue clause calls a second internal routine B, passing it some feature addresses. Routine B raises an exception. After initial compilation where the system is frozen, the routine B is modified to cause it to be melted. When routine A is called repeatedly, more and more C memory is used, which seems to indicate a memory leak. Execution error in file /home/eweasel/eweasel/tests/exec095/tcf at line 26 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test expanded-local-raise-exception (exec096): passed Test generic-attributes-not-equal (exec097): passed Test out-of-memory-on-out (exec098): passed Test inherit-generic-wrong-call (exec099): failed Description: A class inherits twice from a generic class, using DOUBLE and STRING as the actual generic parameter and renaming the single routine in the generic class to replicate it. The system compiles fine, but dies with a bus error when executed due to the fact that the wrong routine is being called. Execution error in file /home/eweasel/eweasel/tests/exec099/tcf at line 19 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test generic-constrained-by-double (exec100): failed Description: A class declares a local of type `FOO [expanded DOUBLE]' where FOO is a generic class with a single formal generic parameter constrained by DOUBLE. A routine of the generic class assigns something of type `Generic #1' to something of type DOUBLE. The system compiles fine, but dies with an "illegal metamorphose type" panic when executed. If the system is frozen, the C code for the generic class won't compile. Execution error in file /home/eweasel/eweasel/tests/exec100/tcf at line 17 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: system_failed had_panic Expected result: Final status: completed Test strip-bad-linked-list (exec101): passed Test manifest-array-of-tiny-strings (exec102): passed Test expanded-pass-current (exec103): failed Description: A non-expanded class FOO has a routine `bar' which passes Current to a routine which uses it to set an attribute in the object referenced by the passed argument. Another class declares an entity of type `expanded FOO' and calls `bar' on it. The attribute in this entity is changed by the call, though it should not be. Execution error in file /home/eweasel/eweasel/tests/exec103/tcf at line 19 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test exception-in-dispose (exec104): failed Description: A class creates an instance of a second class which has a `dispose' procedure that causes a floating exception. When this instance is garbage collected, the `dispose' procedure is call and the exception is correctly raised. However, garbage collection is turned off. A subsequent creation of the and collection of another object causes program termination. Execution error in file /home/eweasel/eweasel/tests/exec104/tcf at line 18 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test freeze-expanded-tuple-attr (exec105): passed Test put-character-255 (exec106): passed Test out-of-memory-panic (exec107): passed Test redefine-expanded-as-attribute (exec108): failed Description: An expanded feature is redefined as an attribute in a descendant class. System execution fails when assertion (all) is specified. Execution error in file /home/eweasel/eweasel/tests/exec108/tcf at line 19 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: system_failed Expected result: Final status: completed Test compare-var-to-default (exec109): passed Test add-inheritance-cycle (term001): passed Test remove-root-creation-proc (term002): passed Test long-identifiers (term003): failed Description: Long identifiers in class Execution error in file /home/eweasel/eweasel/tests/term003/tcf at line 14 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Final status: unknown Expected result: Final status: completed Test anchored-creation-type (term004): passed Test like-current-generic-constraint (term005): passed Test function-with-many-args (term006): passed Test unusual-none-use (term007): passed Test void-as-variant (term008): passed Test none-as-actual-generic (term009): failed Description: A class which inherits from a constrained generic class and provides NONE as actual generic parameter Execution error in file /home/eweasel/eweasel/tests/term009/tcf at line 14 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Final status: aborted system_failed had_exception (Segmentation violation) had_panic Expected result: Final status: completed Test invalid-generic-constraint (term010): passed Test manifest-array-call-target (term011): passed Test long-bit-constant (term012): passed Test bit-constraint-with-attr (term013): passed Test deeply-nested-when (term014): passed Test manifest-array-call-target2 (term015): passed Test empty-external-feat-alias (term016): passed Test array-of-big-bit (term017): failed Description: A class with a feature of type ARRAY [BIT n] where `n' is very large Execution error in file /home/eweasel/eweasel/tests/term017/tcf at line 13 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Final status: aborted system_failed had_exception (Segmentation violation) had_panic Expected result: Final status: completed Test none-as-actual-generic2 (term018): passed Test class-name-confusion (term019): failed Description: Compiling a system, adding `class' to the indexing clause, recompiling and then removing `class' from indexing clause when syntax error is reported Execution error in file /home/eweasel/eweasel/tests/term019/tcf at line 17 Original text: compile_result validity_error NONE VD20 Substituted text: compile_result validity_error NONE VD20 Reason: actual compilation result does not match expected result Actual result: Syntax error in class TEST at line 13 Final status: paused Expected result: Validity error code VD20 Final status: paused Test expanded-client-cycle (term020): passed Test valid-weasel-bits (term022): passed Test function-returning-none (term023): passed Test bit-creation-type (term024): failed Description: A creation instruction with an explicit creation type which is a BIT type with (what looks like) a constant attribute expressing the number of bits in the BIT type Execution error in file /home/eweasel/eweasel/tests/term024/tcf at line 13 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VGCC(3) Final status: paused Expected result: Final status: completed Test expanded-local-panic (term025): passed Test bad-generic-deriv-creation-type2 (term026): passed Test many-same-generics (term027): passed Test precompiled-missing-cluster (term028): passed Test generic-constrained-by-its-class (term029): passed Test expanded-client-3-cycle (term030): passed Test generic-constr-by-generic-deriv (term031): passed Test current-dot-void (term032): passed Test real-decl-integer-constant (term033): passed Test vlec-cycle-with-generics (term034): manual Test create-negative-double-const (term035): passed Test minimal-set-of-classes (term036): passed Test def-int-func-redefine-none (term037): failed Description: A deferred function of type INTEGER in an inherited class is effected by an attribute of type NONE Execution error in file /home/eweasel/eweasel/tests/term037/tcf at line 15 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Final status: aborted system_failed had_exception (Segmentation violation) had_panic Expected result: Final status: completed Test system-option-no-parens (term038): failed Description: Specifying one of the system-level options `precompiled', `dead_code_removal' or `fail_on_rescue' without any parenthesized value after it Execution error in file /home/eweasel/eweasel/tests/term038/tcf at line 15 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Final status: aborted system_failed had_exception (Segmentation violation) had_panic Expected result: Final status: completed Test root-none-creation-proc (term039): failed Description: A system is compiled with an Ace which specifies NONE as the root class and also specifies a root creation procedure Execution error in file /home/eweasel/eweasel/tests/term039/tcf at line 12 Original text: compile_result validity_error NONE ???? Substituted text: compile_result validity_error NONE ???? Reason: actual compilation result does not match expected result Actual result: Final status: aborted system_failed had_exception (Segmentation violation) had_panic Expected result: Validity error code ???? Final status: paused Test illegal-instruction-keep-license (term040): manual Test expanded-generic-constr-by-self (term041): passed Test redef-anchored-to-self-version (term042): passed Test generic-constraint-cycle (term043): passed Test explicit-create-def-gen-parent (term044): passed Test strip-attribute-of-type-none (term045): failed Description: A class with a `strip' expression which references an attribute of type NONE Execution error in file /home/eweasel/eweasel/tests/term045/tcf at line 13 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Final status: aborted system_failed had_exception (Segmentation violation) had_panic Expected result: Final status: completed Test generic-constraint-bit-type (term046): passed Test two-creation-clauses-one-empty (term047): passed Test long-anchored-decl-chain (term048): passed Test anchored-generic-multi-dot-call (term049): passed Test formal-generic-in-constraint (term050): passed Test generic-constraint-with-expand (term051): passed Test vtcg-expanded-generic (term052): passed Test expanded-manifest-array-item (term053): failed Description: A class which references `(<< t >>).item (1)', where `t' is of a non-basic expanded type, causes termination of the compiler during pass 3 on the class. Execution error in file /home/eweasel/eweasel/tests/term053/tcf at line 14 Original text: compile_result validity_error TEST V??? Substituted text: compile_result validity_error TEST V??? Reason: actual compilation result does not match expected result Actual result: Final status: aborted system_failed had_exception (Segmentation violation) had_panic Expected result: Validity error in class TEST code V??? Final status: paused Test nested-manifest-array-feat-call (term054): failed Description: A class which calls a feature on the manifest array target `<< << "weasel" >> >>' causes termination of the compiler during pass 3 on the class. Execution error in file /home/eweasel/eweasel/tests/term054/tcf at line 13 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Final status: aborted system_failed had_exception (Segmentation violation) had_panic Expected result: Final status: completed Test long-comment (term055): passed Test long-white-space (term056): passed Test no-precomp-big-manifest-array (term057): passed Test heavy-anded-bool-panic (term058): passed Test use-file-containing-ace (term059): failed Description: An Ace with a "use" file containing the single line `system test root TEST1 end' causes the compiler to terminate with a segmentation fault during degree 6. Execution error in file /home/eweasel/eweasel/tests/term059/tcf at line 14 Original text: compile_result syntax_error NONE 111111 Substituted text: compile_result syntax_error NONE 111111 Reason: actual compilation result does not match expected result Actual result: Final status: aborted system_failed had_exception (Segmentation violation) had_panic Expected result: Syntax error in Ace at line 111111 Final status: paused Test feature-address-in-invariant (term060): passed Test many-long-bit-constants (term061): passed Test manifest-array-at-sign (term062): failed Description: A class which references `<< "weasel" >> @ 1' causes termination of the compiler during degree 3. Execution error in file /home/eweasel/eweasel/tests/term062/tcf at line 13 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Final status: aborted system_failed had_exception (Segmentation violation) had_panic Expected result: Final status: completed Test non-windows-dll-external (term063): passed Test external-omit-signature-args (term064): passed Test finalize-big-inline-size (term065): passed Test nonexistent-use-file (term066): passed Test finalize-inline-remove-dead (term067): passed Test long-precompiled-path-name (term068): passed Test too-many-signature-arguments (term069): passed Test very-long-token (term070): failed Description: A class with a token of length >= 8192 (where tokens include comments and white space) causes the compiler to terminate with the message "token too large, exceeds YYLMAX". Execution error in file /home/eweasel/eweasel/tests/term070/tcf at line 13 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Final status: system_failed had_panic Expected result: Final status: completed Test finalize-prefix-attribute (term071): failed Description: Finalizing a system with a class which has a prefix operator implemented as a variable attribute causes the compiler to die during degree -5 on the class. Execution error in file /home/eweasel/eweasel/tests/term071/tcf at line 13 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Final status: aborted system_failed had_exception (Segmentation violation) had_panic Expected result: Final status: completed Test finalize-deferred-feature-call (term072): passed Test finalize-array-opt-remove-dead (term073): passed Test finalize-inline-strip-expr (term074): failed Description: The creation procedure of a class creates an instance of another class and calls a feature on it which contains a "strip" expression. If the system is finalized and the Ace specifies `inlining (yes)' the compiler dies during degree -5 on the first class. Execution error in file /home/eweasel/eweasel/tests/term074/tcf at line 14 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Final status: aborted system_failed had_exception (Segmentation violation) had_panic Expected result: Final status: completed Test assign-creation-expression (term075): passed Test explicit-bit-creation (term076): failed Description: A creation instruction with an explicit creation type `BIT Weasel' where Weasel is not defined causes compiler to die. Execution error in file /home/eweasel/eweasel/tests/term076/tcf at line 13 Original text: compile_result validity_error TEST VEEN Substituted text: compile_result validity_error TEST VEEN Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VGCC(3) Final status: paused Expected result: Validity error in class TEST code VEEN Final status: paused Test finalize-inline-array-expanded (term077): passed Test finalize-inline-small-classes (term078): passed Test simple-explicit-generic-create (term079): failed Description: A generic class with an explicit creation type in an instruction that creates an attribute of a generic type appears to be correct but the compiler dies on it. Execution error in file /home/eweasel/eweasel/tests/term079/tcf at line 14 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST1 code VGCC(3) Final status: paused Expected result: Final status: completed Test generic-constrained-by-tuple (term080): passed Test invariant-creation-expr (term081): failed Description: A class with an explicit creation type in a creation expression that appears in the class invariant causes compiler to die. Execution error in file /home/eweasel/eweasel/tests/term081/tcf at line 13 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VGCC(5) Final status: paused Expected result: Final status: completed Test generic-nonexistent-creator (term082): passed Test generic-nonexistent-infix (term083): passed Test finalize-creation-expression (term084): passed Test finalize-inline-delayed-call (term085): passed Test invariant-delayed-closed-target (term086): passed Test lace-keywords (lace001): failed Description: Identifiers which are not supposed to be reserved words used unquoted in Ace file Execution error in file /home/eweasel/eweasel/tests/lace001/tcf at line 20 Original text: compile_result syntax_error TEST 6 Substituted text: compile_result syntax_error TEST 6 Reason: actual compilation result does not match expected result Actual result: Syntax error in Ace at line 8 Final status: paused Expected result: Syntax error in class TEST at line 6 Final status: paused Test lace-opt-cluster-tag (lace002): failed Description: An Ace without the optional Cluster_tag part of each Cluster_clause Execution error in file /home/eweasel/eweasel/tests/lace002/tcf at line 13 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Syntax error in Ace at line 15 Final status: paused Expected result: Final status: completed Test lace-no-cluster-props (lace003): failed Description: Syntactically legal Ace with no cluster properties Execution error in file /home/eweasel/eweasel/tests/lace003/tcf at line 13 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Syntax error in "Use" file at line 16 Final status: paused Expected result: Final status: completed Test lace-mult-ext-lang (lace004): passed Test lace-valid-visible (lace005): failed Description: An Ace with a Visible section which has just one Class_visibility that consists of a Class_name without any Visibility_adaptation Execution error in file /home/eweasel/eweasel/tests/lace005/tcf at line 13 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Syntax error in Ace at line 22 Final status: paused Expected result: Final status: completed Test double-include-vscn-wrong (lace006): passed Test lace-no-creation-proc (lace007): passed Test ace-wrong-positions (lace008): passed Test lace-use-file-error (lace009): passed Test lace-option-no-target (lace010): passed Test lace-empty-include-exclude (lace011): passed Test lace-use-file-is-dir (lace012): passed Test lace-include-trailing-semicolon (lace013): passed Test chg-cluster-name (lace014): passed Test remove-unneeded-cluster (lace015): passed Test root-cluster-case-sensitive (lace016): passed Test lace-nonexistent-cluster-options (lace017): passed Test adapt-cluster-case-sensitive (lace018): passed Test use-include-exclude (lace019): failed Description: An include or exclude in a Lace Use file Execution error in file /home/eweasel/eweasel/tests/lace019/tcf at line 16 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error code VD20 Final status: paused Expected result: Final status: completed Test root-none-cluster-name (lace020): passed Test class-named-none (lace021): failed Description: A class named NONE Execution error in file /home/eweasel/eweasel/tests/lace021/tcf at line 15 Original text: compile_result validity_error NONE VD?? Substituted text: compile_result validity_error NONE VD?? Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error code VD?? Final status: paused Test visible-export-nonexistent-feat (lace022): failed Description: Compiling a system whose Ace has a visible clause with an export restriction which lists a nonexistent feature name Execution error in file /home/eweasel/eweasel/tests/lace022/tcf at line 13 Original text: compile_result validity_error NONE ???? Substituted text: compile_result validity_error NONE ???? Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error code ???? Final status: paused Test vdcn-called-vd20 (lace023): failed Description: An Ace which uses the precompiled "base" cluster and uses the same cluster tag for its added cluster as one of the cluster tags used in the precompiled Ace should be reported as a VDCN error (two clusters have the same name). Instead, the compiler reports a VD20 error (unknown root class). Execution error in file /home/eweasel/eweasel/tests/lace023/tcf at line 13 Original text: compile_result validity_error NONE VDCN Substituted text: compile_result validity_error NONE VDCN Reason: actual compilation result does not match expected result Actual result: Validity error code VD20 Final status: paused Expected result: Validity error code VDCN Final status: paused Test lace-debug-key-subset (lace024): passed Test visible-cluster-case-sensitive (lace025): failed Description: A Visible clause in the Ace which names a class (or a feature in its export subclause) is case-sensitive if the name is enclosed in double quotes, but should not be since it does not refer to an outside element. The compiler incorrectly reports a VD25 violation. In the case of a feature, the compiler thinks the feature is missing so it dies (a previously reported bug). Execution error in file /home/eweasel/eweasel/tests/lace025/tcf at line 13 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error code VD25 Final status: paused Expected result: Final status: completed Test quoted-gen-or-ext-language-name (lace026): failed Description: A Generate or External clause in the Ace which names the valid language `C' or `c' causes the compiler to report a VD33 or VD34 error (respectively), but only if the language name is enclosed in double quotes. Execution error in file /home/eweasel/eweasel/tests/lace026/tcf at line 14 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Syntax error in Ace at line 22 Final status: paused Expected result: Final status: completed Test assertion-option-no-parens (lace027): failed Description: An Ace which includes the option `assertion' without any parenthesized value after it is accepted by the compiler without any complaints, but should be a VD15 error. Execution error in file /home/eweasel/eweasel/tests/lace027/tcf at line 14 Original text: compile_result validity_error NONE VD15 Substituted text: compile_result validity_error NONE VD15 Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error code VD15 Final status: paused Test lace-extra-separators (lace028): failed Description: In most places in an Ace where a comma-separated or semicolon-separated list can appear, extra leading and trailing separators can appear without causing the compiler to report a syntax error. In addition, a separator may be replaced by multiple separators. For example, `option debug (yes): A,,B,,, C ,,,' is allowed. But there are exceptions to this rule, which are presumably bugs. Execution error in file /home/eweasel/eweasel/tests/lace028/tcf at line 14 Original text: compile_result validity_error NONE VD35 Substituted text: compile_result validity_error NONE VD35 Reason: actual compilation result does not match expected result Actual result: Syntax error in Ace at line 13 Final status: paused Expected result: Validity error code VD35 Final status: paused Test visible-under-same-name (lace029): failed Description: An Ace with a Visible clause which makes two classes visible to external software under the same name is accepted by the compiler, but should not be. Similarly, an Ace with a Visible clause which makes two features in a class visible under the same name should not be accepted. Execution error in file /home/eweasel/eweasel/tests/lace029/tcf at line 17 Original text: compile_result validity_error NONE VD?? Substituted text: compile_result validity_error NONE VD?? Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error code VD?? Final status: paused Test inlining-size-non-integer (lace030): passed Test lace-system-special-chars (lace031): failed Description: A system name which includes characters special to the shell is accepted and causes the generated system to be linked to the driver under an incorrect name or not at all when using a precompiled library and melting the system. A system name which includes characters special to `make' is accepted and results in an error in `make' when the finish_freezing step is executed after freezing the system. Execution error in file /home/eweasel/eweasel/tests/lace031/tcf at line 14 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Final status: aborted system_failed had_exception (No such file or directory) had_panic Expected result: Final status: completed Test lace-melt-hide-implementation (lace032): failed Description: An Ace file which specifies `hide_implementation (yes)' or `hide_implementation (no)' causes the compiler to report a VD15 error (invalid option value) if the system is melted, frozen or finalized instead of being precompiled. Execution error in file /home/eweasel/eweasel/tests/lace032/tcf at line 14 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error code VD15 Final status: paused Expected result: Final status: completed Test void-gets-void (ccomp001): failed Description: Class with assignment `Void := Void' Execution error in file /home/eweasel/eweasel/tests/ccomp001/tcf at line 16 Original text: c_compile_result ok Substituted text: c_compile_result ok Reason: actual C compilation result does not match expected result Actual result: no_failure C_compilation_not_completed Expected result: no_failure C_compilation_completed Test weird-operator-feat-name (ccomp002): failed Description: Declaration and call of an operator feature which contains an embedded double-quote character (written %") Execution error in file /home/eweasel/eweasel/tests/ccomp002/tcf at line 13 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Syntax error in class TEST at line 14 Final status: paused Expected result: Final status: completed Test weird-operator-feat-name2 [weird-operator-feat-name] (ccomp003): failed Description: Declaration and call of an operator feature which ends with a backslash character; debug keys with characters %" and \ Execution error in file /home/eweasel/eweasel/tests/ccomp003/tcf at line 16 Original text: c_compile_result ok Substituted text: c_compile_result ok Reason: actual C compilation result does not match expected result Actual result: no_failure C_compilation_not_completed Expected result: no_failure C_compilation_completed Test implies-wont-c-compile (ccomp004): passed Test divide-by-zero (ccomp005): passed Test visible-finalize-wont-link (ccomp006): passed Test finalize-assertion-all (ccomp007): passed Test finalize-void-parse-error (ccomp008): passed Test invariant-zero-equals-zero (ccomp009): passed Test frozen-bit-operations (ccomp010): passed Test finalize-inh-root-creation-proc (ccomp011): passed Test finalize-ext-root-creation-proc (ccomp012): passed Test strip-empty-list-freeze-cc (ccomp013): passed Test expanded-dead-code-removal (ccomp014): passed Test finalize-inh-exp-creation-proc (ccomp015): passed Test assign-attempt-basic-local-addr (ccomp016): passed Test assign-attempt-basic-type (ccomp017): passed Test finalize-expanded-to-reference (ccomp018): failed Description: A function which has a local of type `x: expanded FOO' has as its body `Result := x'. When the system is finalized, the code generated for the enclosing class won't compile. Execution error in file /home/eweasel/eweasel/tests/ccomp018/tcf at line 17 Original text: c_compile_result ok Substituted text: c_compile_result ok Reason: actual C compilation result does not match expected result Actual result: no_failure C_compilation_not_completed Expected result: no_failure C_compilation_completed Test finalize-expanded-return-type (ccomp019): passed Test finalize-expanded-ext-creation (ccomp020): failed Description: Finalizing a system with an expanded class which has an external (rather than internal) creation procedure produces C code which won't link. Execution error in file /home/eweasel/eweasel/tests/ccomp020/tcf at line 17 Original text: c_compile_result ok Substituted text: c_compile_result ok Reason: actual C compilation result does not match expected result Actual result: no_failure C_compilation_not_completed Expected result: no_failure C_compilation_completed Test inherit-integer-call-remainder (ccomp021): passed Test expanded-generic-dead-code (ccomp022): passed Test external-func-with-signature (ccomp023): passed Test external-tab-between-includes (ccomp024): passed Test finalize-bit-return-type (ccomp025): passed Test finalize-call-undef-external (ccomp026): failed Description: A system has a class with an external routine and another class which inherits the first class and undefines the external routine. There is also a call to the undefined version of the external routine (which cannot work at run-time, of course). When the system is finalized, the generated C code won't compile. Execution error in file /home/eweasel/eweasel/tests/ccomp026/tcf at line 18 Original text: c_compile_result ok Substituted text: c_compile_result ok Reason: actual C compilation result does not match expected result Actual result: no_failure C_compilation_not_completed Expected result: no_failure C_compilation_completed Test expanded-arg-with-cast (ccomp027): passed Test finalize-array-opt-pointers (ccomp028): passed Test finalize-wont-trace-visible (ccomp029): passed Test finalize-create-deferred-type (ccomp030): passed Test finalize-bit-attribute (ccomp031): passed Test freeze-generic-creation-expr (ccomp032): passed Test finalize-precomp-assertion-all (ccomp033): passed Test rename-inherited-wrong-flat (flat001): manual Test flat-after-change (flat002): manual Test flat-feature-two-defs (flat003): manual Test eff-class-flat-deferred-feature (flat004): manual Test flat-multi-export-lists (flat005): manual Test rename-inherited-bad-flat (flat006): manual Test unix-file-start-precond-error (lib001): passed Test validity-vsrc1-one-generic (vsrc101): passed Test validity-vsrc1-two-generics (vsrc102): passed Test validity-vsrc1-many-generics (vsrc103): passed Test validity-vsrc1-add-generics (vsrc104): passed Test validity-vsrc1-new-root (vsrc105): passed Test validity-vsrc1-zero-generics (vsrc106): passed Test validity-vsrc2-deferred-root (vsrc201): passed Test validity-vsrc2-chg-deferred (vsrc202): passed Test validity-vsrc3-no-arguments (vsrc301): passed Test validity-vsrc3-one-good-arg (vsrc302): passed Test validity-vsrc3-one-conform-arg (vsrc303): passed Test validity-vsrc3-one-bad-arg (vsrc304): passed Test validity-vsrc3-many-arguments (vsrc305): passed Test validity-vsrc3-bad-then-good (vsrc306): passed Test validity-vsrc3-two-procedures (vsrc307): passed Test validity-vscn-same-cluster (vscn001): passed Test validity-vscn-diff-cluster (vscn002): failed Description: Two classes of the same name in different clusters Execution error in file /home/eweasel/eweasel/tests/vscn002/tcf at line 17 Original text: compile_result validity_error NONE V??? Substituted text: compile_result validity_error NONE V??? Reason: actual compilation result does not match expected result Actual result: Validity error code VSCN Final status: paused Expected result: Validity error code V??? Final status: paused Test validity-vscn-add-class (vscn003): failed Description: After initial compilation, add another class of the same name to a cluster and recompile Execution error in file /home/eweasel/eweasel/tests/vscn003/tcf at line 17 Original text: compile_result validity_error NONE VSCN Substituted text: compile_result validity_error NONE VSCN Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error code VSCN Final status: paused Test validity-vcch-add-del (vcch001): passed Test validity-vcch1-no-def-header (vcch101): passed Test validity-vcch1-add-def-feat (vcch102): passed Test validity-vcch1-del-def-header (vcch103): passed Test validity-vcch1-inherit-def (vcch104): passed Test validity-vcch1-undef-effective (vcch105): passed Test validity-vcch2-def-header1 (vcch201): passed Test validity-vcch2-def-header2 (vcch202): passed Test validity-vcch2-add-def-header1 (vcch203): passed Test validity-vcch2-add-def-header2 (vcch204): passed Test validity-vcch2-del-def-feat (vcch205): passed Test validity-vcch2-chg-def-feat (vcch206): passed Test validity-vcch2-inh-effective (vcch207): passed Test validity-vcfg1-basic (vcfg101): passed Test validity-vcfg1-add-class (vcfg102): failed Description: Violate validity constraint VCFG1 by adding to the universe a class with the same name as the formal generic parameter of a generic class Execution error in file /home/eweasel/eweasel/tests/vcfg102/tcf at line 18 Original text: compile_result validity_error TEST1 VCFG(1) Substituted text: compile_result validity_error TEST1 VCFG(1) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST1 code VCFG(1) Final status: paused Test validity-vcfg1-chg-generic (vcfg103): passed Test validity-vcfg2-basic (vcfg201): passed Test validity-vcfg2-root (vcfg202): passed Test validity-vcrn-basic (vcrn001): failed Description: Violate validity constraint VCRN with a class whose closing comment has the wrong class name Execution error in file /home/eweasel/eweasel/tests/vcrn001/tcf at line 13 Original text: compile_result validity_error TEST VCRN Substituted text: compile_result validity_error TEST VCRN Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VCRN Final status: paused Test validity-vffd2-basic (vffd201): passed Test validity-vffd2-diff-decls (vffd202): passed Test validity-vffd3-basic (vffd301): passed Test validity-vffd4-basic (vffd401): passed Test validity-vffd5-basic (vffd501): passed Test validity-vffd6-basic (vffd601): passed Test validity-vffd7-once-generic (vffd701): passed Test validity-vffd7-once-anchored (vffd702): passed Test validity-vhpr1-self (vhpr101): passed Test validity-vhpr1-other (vhpr102): passed Test validity-vhpr1-long-cycle (vhpr103): passed Test validity-vhrc-switch-names (vhrc001): passed Test validity-vhrc-shift-names (vhrc002): passed Test validity-vhrc1-basic (vhrc101): passed Test validity-vhrc2-basic (vhrc201): passed Test validity-vhrc3-basic (vhrc301): passed Test validity-vhrc4-basic (vhrc401): passed Test validity-vhrc5-basic (vhrc501): passed Test validity-vlec1-self (vlec101): passed Test validity-vlec1-other (vlec102): passed Test validity-vlec1-self-generic (vlec103): passed Test validity-vlec1-other-generic (vlec104): manual Test validity-vlcp-basic (vlcp001): passed Test validity-vlel1-mult-diff (vlel101): passed Test validity-vlel1-mult-same (vlel102): passed Test validity-vlel2-basic (vlel201): passed Test validity-vlel3-mult-same (vlel301): passed Test validity-vlel3-mult-diff (vlel302): passed Test validity-vrfa-basic (vrfa001): passed Test validity-vrfa-inherited (vrfa002): passed Test validity-vreg-same (vreg001): passed Test validity-vreg-diff (vreg002): passed Test validity-vrrr-basic (vrrr001): failed Description: Violate validity constraint VRRR with an external or deferred feature which has a Local_declarations and/or a Rescue part Execution error in file /home/eweasel/eweasel/tests/vrrr001/tcf at line 42 Original text: compile_result validity_error TEST1 VRRR(2) VXRC Substituted text: compile_result validity_error TEST1 VRRR(2) VXRC Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST1 code VXRC Final status: paused Expected result: Validity error in class TEST1 code VRRR(2) Validity error in class TEST1 code VXRC Final status: paused Test validity-vrle1-basic (vrle101): passed Test validity-vrle2-basic (vrle201): passed Test validity-vape-basic (vape001): passed Test validity-vaol1-basic (vaol101): passed Test validity-vaol2-basic (vaol201): passed Test lace-vd01-basic (vd01001): passed Test lace-vd02-basic (vd02001): failed Description: Violate validity constraint VD02 with a non-existent or unreadable Use file in Ace, or with a file which is really a directory Execution error in file /home/eweasel/eweasel/tests/vd02001/tcf at line 18 Original text: compile_result validity_error NONE VD21 Substituted text: compile_result validity_error NONE VD21 Reason: actual compilation result does not match expected result Actual result: Validity error code VD02 Final status: paused Expected result: Validity error code VD21 Final status: paused Test lace-vd03-basic (vd03001): passed Test lace-vd04-basic (vd04001): passed Test lace-vd05-basic (vd05001): passed Test lace-vd07-basic (vd07001): failed Description: Violate validity constraint VD07 with an Include clause in the Ace which lists a nonexistent or unreadable file, or one which is really a directory Execution error in file /home/eweasel/eweasel/tests/vd07001/tcf at line 13 Original text: compile_result validity_error NONE VD07 Substituted text: compile_result validity_error NONE VD07 Reason: actual compilation result does not match expected result Actual result: Validity error code VD20 Final status: paused Expected result: Validity error code VD07 Final status: paused Test lace-vd08-basic (vd08001): failed Description: Violate validity constraint VD08 with an included file which exists and is readable, but does not contain a legal class text Execution error in file /home/eweasel/eweasel/tests/vd08001/tcf at line 29 Original text: compile_result validity_error NONE VD20 Substituted text: compile_result validity_error NONE VD20 Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error code VD20 Final status: paused Test lace-vd09-basic (vd09001): failed Description: Violate validity constraint VD09 with an included file which has the same class name as another class in the cluster Execution error in file /home/eweasel/eweasel/tests/vd09001/tcf at line 26 Original text: compile_result validity_error NONE VSCN Substituted text: compile_result validity_error NONE VSCN Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error code VSCN Final status: paused Test lace-vd10-basic (vd10001): passed Test lace-vd12-basic (vd12001): failed Description: Violate validity constraint VD12 with an Exclude clause in the Ace which lists a nonexistent or unreadable file, or one which is really a directory Execution error in file /home/eweasel/eweasel/tests/vd12001/tcf at line 14 Original text: compile_result validity_error NONE VD12 Substituted text: compile_result validity_error NONE VD12 Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error code VD12 Final status: paused Test lace-vd13-basic (vd13001): passed Test lace-vd15-basic (vd15001): passed Test lace-vd16-basic (vd16001): passed Test lace-vd17-basic (vd17001): passed Test lace-vd19-basic (vd19001): passed Test lace-vd20-basic (vd20001): passed Test lace-vd23-basic (vd23001): passed Test lace-vd25-basic (vd25001): passed Test lace-vd26-basic (vd26001): passed Test lace-vd27-basic (vd27001): passed Test no-leading-white-space (fixed001): passed Test no-upper-bit-constants (fixed002): passed Test empty-creation-list (fixed003): passed Test bad-feature-decl (fixed004): passed Test syntax-wrong-positions (fixed005): passed Test empty-rename-list (fixed006): passed Test empty-inheritance-clauses (fixed007): passed Test big-strings (fixed008): passed Test inherit-index-small-enough (fixed010): passed Test creation-proc-function (fixed011): passed Test empty-free-operator (fixed012): passed Test class-name-confusion (fixed013): failed Description: Compiling a system, adding `class' to the indexing clause, recompiling and then removing `class' from indexing clause Execution error in file /home/eweasel/eweasel/tests/fixed013/tcf at line 19 Original text: compile_result validity_error NONE VD20 Substituted text: compile_result validity_error NONE VD20 Reason: actual compilation result does not match expected result Actual result: Syntax error in class TEST at line 13 Final status: paused Expected result: Validity error code VD20 Final status: paused Test frozen-and-deferred (fixed014): passed Test case-sensitive-feature (fixed015): passed Test violate-has-a-new-name (fixed016): passed Test expanded-type-violation (fixed017): passed Test invalid-creation-instruction2 (fixed018): passed Test invalid-actual-generic (fixed019): passed Test empty-debug-key (fixed020): passed Test empty-when-part-list (fixed021): passed Test invalid-actual-generic2 (fixed022): passed Test invalid-actual-generic3 (fixed023): passed Test invalid-actual-generic4 (fixed024): passed Test invalid-actual-generic5 (fixed025): passed Test result-in-precondition (fixed026): passed Test invalid-select-change (fixed027): passed Test assign-rule-client-change (fixed028): passed Test inherit-chg-skip-pass (fixed029): passed Test precond-valid-cursor-index (fixed030): passed Test deep-function-nest (fixed032): passed Test multi-branch-empty-else (fixed033): passed Test multi-branch-interval (fixed034): passed Test conditional-empty-then (fixed035): passed Test repeated-rescue-panic (fixed036): passed Test creation-once-routine (fixed037): passed Test cluster-modified-viol (fixed038): failed Description: After a validity violation on the root class, the name of the root class is changed so that it is the same as the name of another class in the cluster and compilation is resumed Execution error in file /home/eweasel/eweasel/tests/fixed038/tcf at line 21 Original text: compile_result validity_error NONE VSCN Substituted text: compile_result validity_error NONE VSCN Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VEEN Final status: paused Expected result: Validity error code VSCN Final status: paused Test chg-class-to-nonexistent (fixed039): failed Description: After validity violation, name of root class is changed to a different name which does not match the name of any other classes in the universe Execution error in file /home/eweasel/eweasel/tests/fixed039/tcf at line 19 Original text: compile_result validity_error NONE VD20 Substituted text: compile_result validity_error NONE VD20 Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VEEN Final status: paused Expected result: Validity error code VD20 Final status: paused Test bit-any-no-conform (fixed040): passed Test nonexistent-root-class (fixed041): passed Test missing-class-header (fixed042): passed Test lace-syntax-error-retry (fixed043): passed Test invalid-actual-generic6 (fixed044): passed Test const-and-boolean-op (fixed045): passed Test lace-string-case (fixed046): passed Test lace-unique-cluster-names (fixed047): passed Test lace-invalid-root-name (fixed048): passed Test lace-no-option-mark (fixed049): passed Test lace-nonexistent-options (fixed050): passed Test lace-null-class-name (fixed051): passed Test lace-null-class-name2 (fixed052): passed Test lace-bogus-ext-lang (fixed053): passed Test lace-null-class-name3 (fixed054): passed Test debug-with-keys (fixed055): passed Test lace-remove-cluster (fixed056): passed Test change-debug-option (fixed057): passed Test wrong-real-arithmetic (fixed058): passed Test bool-const-no-output (fixed059): passed Test finalize-appl (fixed061): passed Test deferred-feature-call (fixed062): passed Test expanded-anchor (fixed063): passed Test nongeneric-to-generic (fixed064): passed Test undefine-subclause-violation (fixed065): passed Test non-boolean-exit (fixed066): passed Test entity-rule-violation (fixed067): passed Test misleading-vmfn-error (fixed068): failed Description: Compiling a system and then making a particular sequence of changes to introduce violation of VCCH. Execution error in file /home/eweasel/eweasel/tests/fixed068/tcf at line 27 Original text: compile_result validity_error NONE VD20 Substituted text: compile_result validity_error NONE VD20 Reason: actual compilation result does not match expected result Actual result: Validity error code VD27 Final status: paused Expected result: Validity error code VD20 Final status: paused Test time-checker-error (fixed069): passed Test intro-assign-rule-viol (fixed070): passed Test once-function-void (fixed071): passed Test vuex-violation (fixed072): passed Test invalid-local-entity-assign (fixed073): passed Test precond-good-cluster (fixed074): passed Test creation-instruction-sneak (fixed075): passed Test generic-root-to-nongeneric (fixed076): passed Test lace-remove-creation-proc (fixed077): passed Test debug-keys-case-sensitive (fixed078): passed Test invalid-identifier (fixed079): passed Test comment-assertion-with-tag (fixed080): passed Test invalid-characters (fixed081): passed Test deferred-feature-bad-header (fixed082): passed Test invalid-redefine-subclause (fixed083): passed Test old-name-inherit-clauses (fixed084): passed Test general-conformance (fixed085): passed Test old-in-precondition (fixed086): passed Test none-conform-bit-expanded (fixed087): failed Description: Assignment of Void to entity of an an expanded type or a Bit_type Execution error in file /home/eweasel/eweasel/tests/fixed087/tcf at line 15 Original text: compile_result validity_error TEST VNCB Substituted text: compile_result validity_error TEST VNCB Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VNCB Final status: paused Test delete-inheritance (fixed088): passed Test melt-inherit-bug (fixed089): passed Test change-generic-parm-count (fixed090): passed Test expanded-client-violation (fixed091): passed Test local-entity-violation (fixed092): passed Test hidden-expanded-client (fixed093): passed Test expanded-type-hidden (fixed094): passed Test add-delete-type-error (fixed095): passed Test generic-deriv-slide (fixed096): passed Test real-double-print (fixed097): passed Test unknown-entity-type (fixed098): passed Test fix-vuar-error (fixed099): passed Test freezing-good-type-id (fixed100): passed Test chg-generic-constraint (fixed101): passed Test remove-external-routine (fixed102): passed Test refreeze-table-size (fixed103): passed Test inherit-generic-more-complex (fixed104): passed Test melting-make-update (fixed105): passed Test invalid-feature-redeclaration (fixed106): passed Test expanded-client-inherited (fixed107): passed Test expanded-client-death (fixed108): passed Test make-byte-code-void-ref (fixed109): passed Test unknown-problem (fixed110): passed Test real-const-attr-panic (fixed111): passed Test many-locals (fixed112): failed Description: A class with a single procedure with an empty body which has many locals of type STRING Execution error in file /home/eweasel/eweasel/tests/fixed112/tcf at line 13 Original text: compile_result validity_warning TEST Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Substituted text: compile_result validity_warning TEST Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Unused_local_warning Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Final status: completed Expected result: Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Validity error in class TEST code Unused_local_warning Final status: completed Test generic-expanded-client (fixed113): passed Test lace-opt-cluster-mark (fixed114): passed Test lace-invalid-collect-values (fixed115): passed Test lace-cluster-level-collect (fixed116): passed Test lace-bogus-gen-lang (fixed117): failed Description: An Ace with a Generation section which has a non-existent Language Execution error in file /home/eweasel/eweasel/tests/fixed117/tcf at line 19 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Syntax error in Ace at line 33 Final status: paused Expected result: Final status: completed Test lace-assertion-option (fixed118): passed Test lace-remove-cluster2 (fixed119): passed Test whip-that-ace (fixed120): passed Test concat-manifest-bit-array (fixed123): passed Passed: 611 / 855 (72%) Failed: 227 / 855 (27%) Manual: 17 / 855 (2%)