EiffelWeasel test execution manager (version 1.0.001) Test make-from-string (datetimestring001): passed Test time-duration (duration001): passed Test date-duration (duration002): passed Test date-time-duration (duration003): passed Test large-date-time-duration (duration004): passed Test time-bug-reports (time001): passed Test date-duration-with-leap-years (time002): passed Test date-time-with-epoch (time003): passed Test array-is-equal (array001): passed Test array-consistency (array002): passed Test array-has (array003): passed Test array-occurrences (array004): passed Test array2-wipe-out (array005): passed Test list-is-equal (list001): passed Test list-put-extend (list002): passed Test clone-list (list003): passed Test merge-arrayed-list (list004): passed Test remove-prune-arrayed-list (list005): passed Test duplicate-arrayed-list (list006): passed Test insert-arrayed-list (list007): passed Test arrayed-list-prune-all (list008): passed Test arrayed-list-put-* (list009): passed Test fixed-list-queries (list010): passed Test merging-compatible-arrayed-list (list011): passed Test sorted-two-way-list-invariant-violation (list012): passed Test do-all-with-index-arrayed-list (list013): passed Test two-way-list-merge (list014): passed Test priority-queue-basics (queue001): passed Test disjoint-sets (set001): passed Test disjoint-sets-expanded (set001a): passed Test disjoint-sets-heterogenous (set001b): passed Test symdif-sets (set002): passed Test symdif-sets-heterogenous (set002a): passed Test prune-tree-set (set003): passed Test linear-subset-move (set004): passed Test void-items-set-crash (set005): failed Description: Trying to add void items to a set crashes instead of working. Execution error in file /Users/manus/local/eweasel/eweasel/tests/set005/tcf at line 11 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 tree-is-equal (tree001): passed Test tree-clone (tree002): passed Test tree-tests (tree003): passed Test tree-copy (tree004): passed Test string-regression (string001): passed Test insert-default-key (table001): passed Test replace_key_cycle (table002): passed Test replace_key_conflict_not_found (table003): passed Test replace_key_replace_item (table004): passed Test iteration-with-default-key (table005): passed Test infinite-loop-on-removal-then-addition (table006): passed Test recursive-delete-with-symlinks (directory001): failed Description: A call to {DIRECTORY}.recursive_delete does not delete the entire directory tree if there are any symbolic links in the tree Execution error in file /Users/manus/local/eweasel/eweasel/tests/directory001/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 net-out-of-descriptor (net001): failed Description: If you create too many sockets without connecting them, we ran out of descriptor. Execution error in file /Users/manus/local/eweasel/eweasel/tests/net001/tcf at line 11 Original text: c_compile_result ok Substituted text: c_compile_result ok Reason: actual C compilation result does not match expected result Actual result: failure C_compilation_not_completed Expected result: no_failure C_compilation_completed Test old-expression-exception (except001): passed Test invariant-violation-on-entry (except002): passed Test exception-during-evaluation-of-invariant-on-entry (except003): passed Test exception-during-evaluation-of-precondition (except004): passed Test precondition-violation (except005): passed Test attached-target-violation-in-routine-body (except006): passed Test exception-during-evaluation-of-invariant-on-exit (except007): passed Test invariant-violation-on-exit (except008): passed Test exception-during-evaluation-of-postcondition-on-exit (except009): passed Test postcondition-violation (except010): passed Test exception-in-rescue (except011): passed Test raise-and-catch-user-defined-exception (except012): passed Test ignoring-developer-exception (except013): passed Test raising-catching-exception-in-once (except014): passed Test stack-trace-indefinitely-grows (except015): passed Test queries_of_exceptions_class_1 (except016): passed Test queries_of_exceptions_class_2 (except017): passed Test no_routine_failure_on_rescue_exception (except018): passed Test memory_leak_when_retried (except019): failed Description: Reveals a C memory leak when `loc_stack' has not been allocated before Eiffel call but allocated in the call, rescue at that level resets the stack, hence losses the allocated chunk of memory. Execution error in file /Users/manus/local/eweasel/eweasel/tests/except019/tcf at line 11 Original text: compare exec_output2 output Substituted text: compare exec_output2 output Reason: files being compared do not have identical contents Test corrupted_trace (except020): passed Test top_n_call_incorrect (except021): passed Test incorrect_local_restoration (except022): passed Test native_signal_number_in_exception (except023): passed Test native_error_number_in_exception (except024): passed Test native_error_number_ise_io_error (except025): passed Test buffer_overflows_printing_trace (except026): passed Test static_buffer_for_trace_not_thread_safe (except027): failed Description: Reveals the problem static buffer for trace printing is not thread safe. Execution error in file /Users/manus/local/eweasel/eweasel/tests/except027/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: silent_failure Expected result: Final status: completed Test assertion_violations_in_onces (except028): passed Test exception_on_invalid_object_has_no_trace (except029): passed Test incorrect_once_trace_at_first_call (except030): passed Test every_trace_has_root (except031): passed Test trace_has_no_pass (except032): passed Test precondition-violation-infinite-loop (except033): passed Test last-exception-not-cleared (except034): passed Test code-compatible-io-failure (except035): passed Test original_routines_in_exceptions (except036): passed Test exception_cause (except037): passed Test basic-non-conforming-inheritance (noncon001): passed Test non-conforming-inheritance-conformance (noncon002): passed Test non-conforming-inheritance-incrementality (noncon003): passed Test non-conforming-inheritance-parent-incrementality (noncon004): passed Test non-conforming-inheritance-is-not-selectable (noncon005): passed Test non-conforming-parent-can-be-frozen (noncon006): passed Test at-least-one-conforming-inheritance-path (noncon007): failed Description: Test that when there is only non-conforming inheritance, a conforming inheritance should be explicitly written. Execution error in file /Users/manus/local/eweasel/eweasel/tests/noncon007/tcf at line 18 Original text: compile_result validity_error APPLICATION NOTDEFINEDERROR Substituted text: compile_result validity_error APPLICATION NOTDEFINEDERROR Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class APPLICATION code NOTDEFINEDERROR Final status: paused Test non-conforming-inheritance-client-incrementality (noncon008): passed Test non-conforming-finalization-postcondition-violation (noncon009): passed Test no-repeated-non-conforming-inheritance (noncon010): failed Description: Repeated inheritance should take into account only conforming parents to dispatch feature calls. Execution error in file /Users/manus/local/eweasel/eweasel/tests/noncon010/tcf at line 10 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 P1 code VMRC(2) Final status: paused Expected result: Final status: completed Test repeated-non-conforming-inheritance-of-generic-type (noncon011): passed Test repeated-non-conforming-inheritance-of-generic-type-from-parents (noncon012): passed Test feature-inherits-export-status (noncon013): passed Test non-conform-once-inheritance (noncon014): passed Test non-conform-generic-class (noncon015): passed Test non-conform-arguments (noncon016): passed Test non-conform-infinite-loop (noncon017): passed Test non-conform-precondition-inheritance (noncon019): passed Test incorrect-vrle-error (noncon020): passed Test non-conforming-reference-attribute-access (noncon021): passed Test non-conforming-constant-access (noncon022): passed Test replicate-precursor (replication001): passed Test replicated-feature-merge (replication002): passed Test wrong-vdpr-error (replication003): failed Description: Test shows incorrectly VDPR errors. Execution error in file /Users/manus/local/eweasel/eweasel/tests/replication003/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 D code VDPR(2) Final status: paused Expected result: Final status: completed Test vmcs-warning1 (replication004): passed Test vmcs-warning2 (replication005): failed Description: Show a situation VMCS warning should be raised. Execution error in file /Users/manus/local/eweasel/eweasel/tests/replication005/tcf at line 12 Original text: compile_result validity_warning D VMCS Substituted text: compile_result validity_warning D VMCS Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class D code VMCS Final status: completed Test repeated-onces (replication006): passed Test nc-replication-not-apply-vmcs (replication007): failed Description: Show the behavior routines from non-conforming inheritance should not apply VMCS rule. Execution error in file /Users/manus/local/eweasel/eweasel/tests/replication007/tcf at line 13 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test test-auto-resize (fake002): failed Description: Test auto resizing Execution error in file /Users/manus/local/eweasel/eweasel/tests/fake002/tcf at line 80 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test many-similar-class-names (fake003): passed Test test1 (fake004): passed Test test2 (fake005): passed Test whip-it-good (fake006): passed Test generic-zero-parms (syntax001): passed Test no-index-tag (syntax002): passed Test semicolons-not-optional (syntax003): passed Test empty-export-feature-list (syntax004): passed Test empty-multi-branch-choices (syntax005): passed 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 /Users/manus/local/eweasel/eweasel/tests/syntax011/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 30 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 /Users/manus/local/eweasel/eweasel/tests/syntax014/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 24 Final status: paused Expected result: Final status: completed Test long-string-constant (syntax015): passed Test strip-no-prefix-opers (syntax016): failed Description: Operator feature which is a prefix feature implemented as an attribute Execution error in file /Users/manus/local/eweasel/eweasel/tests/syntax016/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 20 Final status: paused Expected result: Final status: completed Test std-operator-case-sensitive (syntax017): passed Test syntax-disagreements-2 (syntax018): passed Test illegal-multi-branch (syntax019): passed Test reserved-words-not (syntax020): passed 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 /Users/manus/local/eweasel/eweasel/tests/syntax024/tcf at line 15 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 /Users/manus/local/eweasel/eweasel/tests/syntax028/tcf at line 15 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): passed 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): passed 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 /Users/manus/local/eweasel/eweasel/tests/syntax036/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 NOT_SUPPORTED Validity error in class TEST code NOT_SUPPORTED 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 /Users/manus/local/eweasel/eweasel/tests/syntax037/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: Syntax error in class TEST at line 20 Final status: paused Expected result: Final status: completed Test bogus-string-syntax-error (syntax038): passed Test trailing-indexing-no-semicolon (syntax039): failed Description: A class with an attribute right before a trailing indexing clause causes the compiler to report a syntax error, but only if the attribute declaration does not end with a semicolon. Execution error in file /Users/manus/local/eweasel/eweasel/tests/syntax039/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: Syntax error in class TEST at line 23 Final status: paused Expected result: Final status: completed Test external-with-punctuation (syntax040): passed Test generic-create-empty-feat-list (syntax041): failed Description: A generic class with a Constraint_creators that has an empty Feature_list should be accepted, but the compiler reports a syntax error. Execution error in file /Users/manus/local/eweasel/eweasel/tests/syntax041/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: Syntax error in class TEST1 at line 7 Final status: paused Expected result: Final status: completed Test external-nonwhite-chars-ignored (syntax042): passed Test agent-parens-zero-args (syntax043): passed Test empty-convert-clause (syntax044): failed Description: A class with a convert clause that does not list any routine names should be accepted, but the compiler reports a syntax error. Execution error in file /Users/manus/local/eweasel/eweasel/tests/syntax044/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: Syntax error in class TEST at line 12 Final status: paused Expected result: Final status: completed Test verbatim-manifest-string (syntax045): passed Test integer-constant-range (syntax046): passed Test multi-syntax-error (syntax047): passed Test indexing-notes-syntax (syntax048): passed Test loop-variant-syntax (syntax049): passed Test assigner-on-creation-expression (syntax050): passed Test external-dll-name (syntax051): passed Test attached_tuple_element (syntax052): passed Test obsolete-inline-agent (syntax053): failed Description: The compiler accepts an obsolete inline agent but ECMA syntax does not allow this. Execution error in file /Users/manus/local/eweasel/eweasel/tests/syntax053/tcf at line 9 Original text: compile_result syntax_error TEST 10 Substituted text: compile_result syntax_error TEST 10 Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code Obsolete Final status: completed Expected result: Syntax error in class TEST at line 10 Final status: paused Test invalid-manifest-type-char-constant (syntax054): failed Description: The compiler accepts an invalid manifest type {ARRAY [STRING]} for a character constant 'w'. It should report a syntax error or a VWMQ validity error. Execution error in file /Users/manus/local/eweasel/eweasel/tests/syntax054/tcf at line 9 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 note-syntax (syntax055): passed Test attached-syntax (syntax056): passed Test external-with-invalid-use (syntax057): passed Test bad-class-end-comment (valid001): passed 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): passed Test invalid-bit-type (valid009): passed Test rename-infix-to-prefix (valid010): passed Test anchored-type-violation (valid011): passed Test invalid-creation-instruction (valid012): passed Test inherited-assign-violation (valid013): passed 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 /Users/manus/local/eweasel/eweasel/tests/valid019/tcf at line 15 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): passed 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): passed Test valid-feature-rename (valid031): passed Test valid-repeated-inheritance (valid032): passed Test valid-like-generic-deriv (valid033): passed Test valid-repeated-inheritance2 (valid034): passed Test conformance-inconsistency (valid035): passed 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): passed Test repeat-inher-vmrc-violation (valid042): passed Test manifest-array-conform (valid043): passed 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): passed Test spurious-vgcc2 (valid057): passed Test illegal-attributes (valid058): passed 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 /Users/manus/local/eweasel/eweasel/tests/valid066/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 VLEC Final status: paused Expected result: Final status: completed Test old-void (valid067): passed 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 /Users/manus/local/eweasel/eweasel/tests/valid069/tcf at line 15 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(3) Validity error in class TEST code VOMB(4) 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 /Users/manus/local/eweasel/eweasel/tests/valid072/tcf at line 16 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): passed 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 /Users/manus/local/eweasel/eweasel/tests/valid074/tcf at line 16 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): passed 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 /Users/manus/local/eweasel/eweasel/tests/valid076/tcf at line 17 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): passed 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 /Users/manus/local/eweasel/eweasel/tests/valid079/tcf at line 16 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): passed Test precondition-too-secret (valid081): passed 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 /Users/manus/local/eweasel/eweasel/tests/valid082/tcf at line 17 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 /Users/manus/local/eweasel/eweasel/tests/valid083/tcf at line 17 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): passed Test secret-precondition-heir-export (valid085): passed Test secret-func-arg-in-precondition (valid086): passed 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 /Users/manus/local/eweasel/eweasel/tests/valid088/tcf at line 16 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): passed 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 /Users/manus/local/eweasel/eweasel/tests/valid090/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 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): passed Test like-current-generic-vlec (valid096): passed Test generic-attr-call-bad-type (valid097): passed Test expanded-generic-conformance (valid098): passed Test bogus-vtcg (valid099): passed Test creation-bad-actual-generic (valid100): passed Test inheritance-bad-actual-generic (valid101): passed Test attribute-anchored-to-generic (valid102): passed Test two-anchored-actual-generics (valid103): passed Test merge-anchored-bogus-vdjr (valid104): passed 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 /Users/manus/local/eweasel/eweasel/tests/valid105/tcf at line 17 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): passed Test compare-procedure-to-void (valid107): passed Test explicit-creation-bad-generic (valid108): passed Test tricky-constraint-with-generic (valid109): passed Test vgcc-called-vuar1 (valid112): passed Test procedure-in-tuple (valid113): passed Test generic-constraint-not-used (valid114): failed Description: A class has Generic #2 constrained by Generic #1, but the compiler won't use this fact to allow an inheritance of another generic class that requires Generic #2 to conform to Generic #1. Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid114/tcf at line 17 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 VTCG Final status: paused Expected result: Final status: completed Test two-generic-precursors (valid115): passed Test invariant-result-address (valid116): passed Test two-precursors-same-parent (valid117): passed Test bogus-vdpr2 (valid118): failed Description: A class inherits twice from another class, redefining the single feature and also renaming it. When the redefinition attempts to call precursor, the compiler reports a VDPR(2) error though it appears that it should accept the classes. Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid118/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 VDPR(2) Final status: paused Expected result: Final status: completed Test nonconforming-generic-creation (valid119): passed Test unreferenced-locals (valid120): passed Test default-create-no-vd27 (valid121): passed Test agent-bad-actual-generic (valid122): passed Test restricted-creation-wrong-vtcg (valid123): passed Test inherited-vgcc (valid124): passed Test inherited-vjar (valid125): passed Test generic-like-current-vjar (valid126): passed Test vwoe-on-integer-remainder (valid127): passed Test generic-static-vtcg (valid128): passed Test inconsistent-vsta1 (valid129): passed Test bogus-vd43 (valid130): passed Test anchored-argument-bogus-vdjr (valid131): passed Test vdrd3-ensure-then (valid132): passed Test indirect-vlec (valid133): passed Test generic-create-deferred (valid134): failed Description: A class has a generic parameter G of type XXX with a generic creation clause `create default_create end'. It also has a creation instruction whose target is an attribute of type G. If XXX is a deferred class, the compiler should report a VGCC(1) error but it does not. Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid134/tcf at line 17 Original text: compile_result validity_error XXX VGCC(1) Substituted text: compile_result validity_error XXX VGCC(1) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class XXX code VGCC(1) Final status: paused Test bit-identifier-in-generic (valid135): passed Test bad-bit-identifier-in-static (valid136): passed Test assign-minimum-integer-vjar (valid137): passed Test anchored-bogus-vsrp2 (valid138): passed Test default-create-vtcg (valid139): passed Test clients-duplicate-class-name (valid140): failed Description: A class with a clients part that includes two or more occurrences of the same class name should possibly be a validity violation, but there is no validity constraint which prevents this. Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid140/tcf at line 16 Original text: compile_result validity_error TEST1 V??? Substituted text: compile_result validity_error TEST1 V??? Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST1 code V??? Final status: paused Test manifest-string-vqmc-sneak (valid141): passed Test c-inline-without-alias (valid142): passed Test cpp-delete-anchored-arg (valid143): passed Test pass-manifest-array-expanded (valid144): passed Test expanded-expanded-conformance (valid145): passed Test precompiled-vdcn-sneak (valid146): passed Test cluster-include-std-class-file (valid147): passed Test nested-manifest-array-vuar (valid148): failed Description: A call `io.put_string (<< << "A" >> , << 47 >> >> @ 2 @ 1)' should be rejected as a VUAR(2) error but the compiler accepts it. Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid148/tcf at line 15 Original text: compile_result validity_error TEST VUAR(2) Substituted text: compile_result validity_error TEST VUAR(2) Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VWOE Final status: paused Expected result: Validity error in class TEST code VUAR(2) Final status: paused Test undefine-external-vdus2 (valid149): passed Test static-ext-inherit-assertion (valid150): failed Description: A static call to a frozen external with no immediate assertions that is a redefinition of a non-frozen external with a postcondition is accepted, but should be a VSTA(2) error. Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid150/tcf at line 17 Original text: compile_result validity_error TEST VSTA(2) Substituted text: compile_result validity_error TEST VSTA(2) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VSTA(2) Final status: paused Test deferred-change-signature (valid151): failed Description: A class inherits a deferred routine and provides a new version of the routine which is still deferred but has a different signature. The compiler should report a VDRD(4) error, but does not. Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid151/tcf at line 17 Original text: compile_result validity_error TEST2 VDRD(4) Substituted text: compile_result validity_error TEST2 VDRD(4) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST2 code VDRD(4) Final status: paused Test agent-open-operand-generic (valid152): failed Description: A constrained generic class `TEST1 [G -> TEST2]' tries to pass `agent {G}.is_stopable' to a procedure whose formal argument is of type FUNCTION [G, TUPLE [G], BOOLEAN]. The compiler should accept the class but reports a VUAR(2) error on the procedure call. Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid152/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 TEST1 code NOT_SUPPORTED Final status: paused Expected result: Final status: completed Test prefix-at-not-equal (valid153): passed Test convert-from-array-none (valid154): passed Test expanded-formal-generic (valid155): failed Description: A class with a formal generic parameter G declares an attribute of type `expanded G'. The compiler should report an error, but does not. Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid155/tcf at line 16 Original text: compile_result validity_error TEST2 V??? Substituted text: compile_result validity_error TEST2 V??? Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST2 code V??? Final status: paused Test convert-manifest-array-to-array (valid156): passed Test convert-on-precursor-and-anchors (valid157): passed Test vtug-not-reported-on-anchor (valid158): passed Test inspect-with-anchor-type (valid159): passed Test array-double-array-none (valid160): passed Test missing-vuar-on-argument-anchor (valid161): failed Description: A feature call should report a VUAR error but does not when the argument anchor is within the actual generic parameter of a generic type appearing in the signature of the routine. Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid161/tcf at line 15 Original text: compile_result validity_error TEST VUAR(2) Substituted text: compile_result validity_error TEST VUAR(2) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VUAR(2) Final status: paused Test vtat-reported-on-valid-anchoring (valid162): passed Test valid-manifest-arrays-tuples (valid163): passed Test agent-on-anchored-target (valid164): passed Test creation-on-anchor-which-is-formal (valid165): passed Test formal-conversion-to-reference (valid166): passed Test like-boolean-in-boolean-expressions (valid167): passed Test like-anchor-instantiation-in-generic (valid168): passed Test incorrect-vgcc1-error (valid169): passed Test like-current-as-actual-generic (valid170): passed Test inherit-like-anchor-to-like-current (valid171): passed Test conversion-on-type-with-like-current (valid172): passed Test open-agen-target-wrong_type (valid173): passed Test override-bogus-export-error (valid174): passed Test static-call-on-formal-generic-type (valid175): passed Test inherited-generic-type-validation (valid176): passed Test invalid-assignment-to-like-curent (valid177): passed Test named-tuple-creation (valid178): passed Test formal-as-argument-no-conformance (valid179): passed Test inherited-infix-type-checking-failure (valid180): passed Test inherited-agent-with-formal-in-assertions (valid181): passed Test expanded-conformance (valid182): passed Test expanded-none-conformance (valid183): passed Test once-inline-agent (valid184): passed Test precursor-in-invariant (valid185): passed Test precursor-in-inline-agent (valid186): passed Test octal-integer-error (valid187): passed Test binary-integer-error (valid188): passed Test binary-octal-representation (valid189): passed Test manifest-character-encoding (valid190): passed Test character-encoded-too-large (valid191): passed Test creation-procedure-restriction (valid192): passed Test inspect-on-different-unique (valid193): passed Test excessive-unique-constants (valid194): passed Test convert-to-current-type (valid195): failed Description: This test violates the 'Conversion Principle' which should be reported by a VYCQ error. Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid195/tcf at line 8 Original text: compile_result validity_error TEST VYCQ(2) Substituted text: compile_result validity_error TEST VYCQ(2) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VYCQ(2) Final status: paused Test convert-to-possible-actual-type (valid196): failed Description: This test violates the 'Conversion Principle' which should be reported by a VYCQ error. Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid196/tcf at line 8 Original text: compile_result validity_error TEST VYCQ(2) Substituted text: compile_result validity_error TEST VYCQ(2) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VYCQ(2) Final status: paused Test convert-to-base-class (valid197): failed Description: This test violates the 'Conversion Principle' which should be reported by a VYCQ error. Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid197/tcf at line 8 Original text: compile_result validity_error TEST VYCQ(2) Substituted text: compile_result validity_error TEST VYCQ(2) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VYCQ(2) Final status: paused Test convert-to-base-class-inherited (valid198): passed Test convert-to-base-class-inherited2 (valid199): passed Test convert-to-base-class-inherited3 (valid200): passed Test formal-as-base-type-for-generic (valid201): passed Test single-constraint-formal-renaming (valid202): passed Test inherit-from-expanded (valid203): failed Description: Inherit from expanded. Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid203/tcf at line 10 Original text: compile_result validity_error E2 VHPR(2) Substituted text: compile_result validity_error E2 VHPR(2) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class E2 code VHPR(2) Final status: paused Test recheck-assertion-feature-renamed (valid204): passed Test recursive-generic-constraint-with-creation (valid205): passed Test named-tuple-in-parent-constraint-clauses (valid206): passed Test valid-generic-derivation (valid207): passed Test creation-constraint-like-current-deferred (valid208): passed Test creation-constraint-like-current-deferred2 (valid209): passed Test vtcg-expanded (valid210): passed Test vtcg-generic (valid211): passed Test wrong-vgcc (valid212): passed Test named-tuple-convert-conformance (valid213): failed Description: A named TUPLE should conform to a matching unamed TUPLE even through conversion. Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid213/tcf at line 10 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 Validity error in class TEST code VUAR(2) Final status: paused Expected result: Final status: completed Test nested-generics-creation-readiness (valid214): passed Test static-comparison-test (valid215): passed Test generic-creation-constraint (valid216): failed Description: Creation constraint of a generic class has to be a procedure. If not a VTGC(3) should be reported. Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid216/tcf at line 9 Original text: compile_result validity_error TEST1 VTGC(3) Substituted text: compile_result validity_error TEST1 VTGC(3) 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 TEST1 code VTGC(3) Final status: paused Test precursor-once (valid217): failed Description: A once is redefined into a routine calling Precursor. Per ECMA the semantic should be that the Precursor should get its own once value and thus be different from the precursor value. Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid217/tcf at line 14 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test freezing-like-current (valid218): passed Test obsolete-warning-in-obsolete-feature (valid219): passed Test ancestor-anchor-type (valid220): passed Test vtug2-not-reported-crash (valid221): passed Test invalid-redefinition (valid222): passed Test void-safe-static-call (valid223): passed Test vrft-in-nested-tuple-type (valid224): passed Test extra-vtcg-with-full-checking (valid225): passed Test reference-generic-expanded-actual (valid226): passed Test expanded-generic-reference-actual (valid227): passed Test bogus-vevi-on-invalid-inspect (valid228): passed Test bogus-vevi-on-inspect-empty-interval (valid229): passed Test inline-c-external-without-alias (valid230): failed Description: A external routine that is "C inline" without an alias should be a VZCC(2) error but the compiler does not detect it Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid230/tcf at line 9 Original text: compile_result validity_error TEST VZCC(2) Substituted text: compile_result validity_error TEST VZCC(2) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VZCC(2) Final status: paused Test validity-in-empty-case (valid231): passed Test redefine-deferred-to-effective (valid232): failed Description: Deferred routine is not allowed to be redefined into effective one. Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid232/tcf at line 9 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 redefine-2-deferred-to-effective (valid233): failed Description: Deferred routine is not allowed to be redefined into effective one. Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid233/tcf at line 9 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 redefine-effective-to-deferred (valid234): failed Description: Effective routine is not allowed to be redefined into deferred one. Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid234/tcf at line 10 Original text: compile_result validity_error TEST VDRS(5) Substituted text: compile_result validity_error TEST VDRS(5) Reason: actual compilation result does not match expected result Actual result: Validity error in class B code VDRD(5) Final status: paused Expected result: Validity error in class TEST code VDRS(5) Final status: paused Test undefine-renamed-deferred (valid235): passed Test undefine-redefine-to-effective (valid236): failed Description: A routine is not allowed to be undefined and then redeclared into effective one. Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid236/tcf at line 9 Original text: compile_result validity_error TEST VDUS(5) Substituted text: compile_result validity_error TEST VDUS(5) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VDUS(5) Final status: paused Test effective-redefinition (valid237): failed Description: An effective routine should be listed in redefine clause when redefined. Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid237/tcf at line 9 Original text: compile_result validity_error TEST VDRD(4) Substituted text: compile_result validity_error TEST VDRD(4) Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VMFN Final status: paused Expected result: Validity error in class TEST code VDRD(4) Final status: paused Test selecting-renamed-feature (valid238): failed Description: Select should be applied only to the features that have 2 or more versions in a descendant. Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid238/tcf at line 9 Original text: compile_result validity_error TEST VMSS Substituted text: compile_result validity_error TEST VMSS Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VMSS Final status: paused Test diamond-pattern-vmrc (valid239): passed Test explicit-attachment-mark-convert-fail (valid240): failed Description: A convert clause that uses explicit attachment marks (? or !) should be applicable to a type which gets its attachment status from the default but the compiler incorrectly reports a VJAR error Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid240/tcf at line 10 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 indirect-type-evaluation (valid241): passed Test undetected-vycp-vycq-with-generic (valid242): failed Description: A system with two types which convert to each other via both a conversion procedure and a conversion query should be a VYCQ or VYCP error but the compiler does not issue any errors. The generic class has a conversion procedure and conversion query that convert to or from the generic parameter G. Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid242/tcf at line 10 Original text: compile_result validity_error TEST VYCQ Substituted text: compile_result validity_error TEST VYCQ Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VYCQ Final status: paused Test inherited-binary-with-generic (valid243): failed Description: Type of a binary expression should be correctly computed in inherited code. Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid243/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: aborted system_failed had_exception (Segmentation fault) Expected result: Final status: completed Test bogus-vuta-on-procedure-target (valid244): passed Test explicit-anchored-expanded-creation-type (valid245): failed Description: A creation instruction with an explicit creation type that is an anchor to an attribute of an expanded type causes the compiler to incorrectly report a VGCC(3) error Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid245/tcf at line 10 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 inherited-conversion-to-like-current (valid246): failed Description: An assignment to an entity of type "like Current" that is valid because of a conversion procedure is rejected in the descendant as a VJAR violation, though it seems to be valid. Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid246/tcf at line 10 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 undetected-vycq-error (valid247): failed Description: A system compiled in void safe mode fails to detect a VYCQ validity error. Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid247/tcf at line 17 Original text: compile_result validity_error TEST2 VYCQ(3) Substituted text: compile_result validity_error TEST2 VYCQ(3) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST2 code VYCQ(3) Final status: paused Test infix-prefix-alias-compatibility (valid248): passed Test assigner-validity-rules (valid249): passed Test assigner-wrong-vbac (valid250): passed Test bogus-veen-on-object-test-local (valid251): failed Description: An object test on an expression which is a qualified call that has a validity error causes the compiler to report a bogus VEEN error on references to the object test local Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid251/tcf at line 9 Original text: compile_result validity_error TEST VUAR(2) VUAR(2) VWOE VUAR(2) VWOE Substituted text: compile_result validity_error TEST VUAR(2) VUAR(2) VWOE VUAR(2) VWOE Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VEEN Validity error in class TEST code VWOE Validity error in class TEST code VEEN Validity error in class TEST code VUAR(2) Validity error in class TEST code VEEN Validity error in class TEST code VWOE Validity error in class TEST code VEEN Validity error in class TEST code VUAR(2) Validity error in class TEST code VUAR(2) Final status: paused Expected result: Validity error in class TEST code VUAR(2) Validity error in class TEST code VUAR(2) Validity error in class TEST code VUAR(2) Validity error in class TEST code VWOE Validity error in class TEST code VWOE Final status: paused Test undetected-vuot-error (valid252): failed Description: The compiler does not detect a VUOT(1) error in an expression with this error if the expression is the actual argument to a routine call or is the expression of an object test Execution error in file /Users/manus/local/eweasel/eweasel/tests/valid252/tcf at line 11 Original text: compile_result validity_error TEST VUOT(1) VUOT(1) Substituted text: compile_result validity_error TEST VUOT(1) VUOT(1) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VUOT(1) Validity error in class TEST code VUOT(1) Final status: paused Test multi-error-degree-4 (multierr001): passed Test degree-5-forget-error (multierr002): passed Test degree-5-infinite-loop (multierr003): passed Test multi-invalid-signature (multierr004): passed Test error-in-manifest-array-tuple (multierr005): passed Test error-in-elsif (multierr006): passed Test failing-to-recompile-descendant (multierr007): passed Test recompile-descendant-code (multierr008): passed Test recompile-assertion-descendant-code (multierr009): passed Test precondition-vdpr-fail-to-check-body (multierr010): passed Test binary-op-fail-to-check-second-operand (multierr011): failed Description: The compiler fails to check the second operand of a binary operator for further validity errors if the first operand has an error and similarly for routine calls. Execution error in file /Users/manus/local/eweasel/eweasel/tests/multierr011/tcf at line 9 Original text: compile_result validity_error TEST VEEN VEEN VEEN VEEN VEEN VEEN VEEN VEEN VEEN VDPR(3) VDPR(3) VDPR(3) Substituted text: compile_result validity_error TEST VEEN VEEN VEEN VEEN VEEN VEEN VEEN VEEN VEEN VDPR(3) VDPR(3) VDPR(3) Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VEEN Validity error in class TEST code VEEN Validity error in class TEST code VEEN Validity error in class TEST code VEEN Validity error in class TEST code VEEN Validity error in class TEST code VEEN Final status: paused Expected result: Validity error in class TEST code VDPR(3) Validity error in class TEST code VDPR(3) Validity error in class TEST code VDPR(3) Validity error in class TEST code VEEN Validity error in class TEST code VEEN Validity error in class TEST code VEEN Validity error in class TEST code VEEN Validity error in class TEST code VEEN Validity error in class TEST code VEEN Validity error in class TEST code VEEN Validity error in class TEST code VEEN Validity error in class TEST code VEEN Final status: paused Test svalid-infix-with-conversion (svalid001): passed Test svalid-rename-constant-inspect (svalid002): passed Test svalid-incremental-check (svalid003): passed Test precursor-validity (svalid004): failed Description: When full check is enabled, one has to recheck code in descendant of the Precursor routine. Execution error in file /Users/manus/local/eweasel/eweasel/tests/svalid004/tcf at line 12 Original text: compile_result validity_error TEST2 VJAR Substituted text: compile_result validity_error TEST2 VJAR Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST2 code VJAR Final status: paused Test obsolete-warning-not-repeated (svalid005): passed Test proper-conversion-validity (svalid006): passed Test svalid-conversion-with-formal (svalid007): passed Test svalid-conversion-export-error (svalid008): passed Test svalid-inherit-labeled-tuple (svalid009): passed Test svalid-inherit-labeled-tuple-assign (svalid010): passed Test conversion-take-deanchored-form (svalid011): passed Test inherited-conversion-crash (svalid012): passed Test unused-local-warning-not-repeated (svalid013): passed Test inline-agent-inherited-crash (svalid014): passed Test svalid-multi-constraint-inheritance (svalid015): passed Test svalid-conversion-validity-error (svalid016): passed Test svalid-inherited-invariant-not-checked (svalid017): failed Description: The class invariant should be rechecked for validity in descendant classes when full_class_checking is enabled but is not Execution error in file /Users/manus/local/eweasel/eweasel/tests/svalid017/tcf at line 12 Original text: compile_result validity_error TEST VGCC(6) Substituted text: compile_result validity_error TEST VGCC(6) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VGCC(6) Final status: paused Test svalid-invalid-parent (svalid018): passed Test svalid-conversion-with-binary (svalid019): passed Test svalid-undetected-vwoe (svalid020): passed Test simple-catcall (catcall001): passed Test simple-catcall-generic (catcall002): failed Description: Simple detection of a catcall involving call of feature with generic formal arguments which is only allowed on non-variant actual generic parameter. Execution error in file /Users/manus/local/eweasel/eweasel/tests/catcall002/tcf at line 11 Original text: compile_result ok Substituted text: compile_result ok Reason: actual compilation result does not match expected result Actual result: Validity error code Catcall Validity error in class TEST code Catcall Final status: completed Expected result: Final status: completed Test catcall-check-failure-recursive-generic (catcall003): failed Description: Simple detection of a catcall where target of the call involves a recursive constraint generic crashes the catcall checker. Execution error in file /Users/manus/local/eweasel/eweasel/tests/catcall003/tcf at line 13 Original text: compile_result validity_warning TEST_ARRAY Catcall; TEST Catcall Catcall Catcall Catcall Catcall; NONE Catcall Substituted text: compile_result validity_warning TEST_ARRAY Catcall; TEST Catcall Catcall Catcall Catcall Catcall; NONE Catcall Reason: actual compilation result does not match expected result Actual result: Syntax error in class TEST at line 12 Final status: paused Expected result: Validity error code Catcall Validity error in class TEST code Catcall Validity error in class TEST code Catcall Validity error in class TEST code Catcall Validity error in class TEST code Catcall Validity error in class TEST code Catcall Validity error in class TEST_ARRAY code Catcall Final status: completed Test catcall-generic (catcall004): failed Description: Detection of a catcall involving call of feature with generic formal arguments. Execution error in file /Users/manus/local/eweasel/eweasel/tests/catcall004/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 11 Final status: paused Expected result: Final status: completed Test catcall-generic-numeric (catcall005): passed Test catcall-at-runtime-detection (catcall006): passed Test wrong-catcall-reported-on-generic-expanded (catcall007): passed Test vlec-sneak (incr001): passed Test chg-inspect-const-type (incr002): passed Test vscn-sneak (incr003): passed Test vuex-sneak (incr004): passed Test vcfg-sneak (incr005): passed 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 vd29-sneak (incr014): passed Test vtec-compiler-wrong (incr015): passed Test chg-class-name (incr016): passed Test switch-class-names (incr017): passed Test vlec-compiler-wrong (incr018): passed Test vdrd-compiler-wrong (incr019): passed Test vd10-becomes-syntax-error (incr021): passed Test generic-pass-one-twice (incr022): passed 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): passed 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): passed Test call-proc-print-attr (incr048): passed Test remove-inheritance-cycle (incr049): passed Test rename-secret-attribute (incr050): passed Test add-vscn-violation (incr051): passed Test bogus-vd27 (incr052): passed 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): passed 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 /Users/manus/local/eweasel/eweasel/tests/incr069/tcf at line 22 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): passed Test change-attr-expanded-type (incr073): passed Test bogus-vlec (incr074): passed Test vtbt-weasel (incr075): passed Test vwst-sneak (incr076): passed Test string-to-bit1 (incr077): passed Test string-to-bit-refreeze (incr078): passed Test vuar-weasel (incr079): passed Test vjaw-delete-creation-clause (incr080): passed Test name-exists-invariant (incr082): passed Test exclude-any-add-back (incr083): passed 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): passed 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 /Users/manus/local/eweasel/eweasel/tests/incr088/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 code VSCN Final status: paused Expected result: Final status: completed Test delete-generic-class-header (incr089): passed Test vtbt-granddad-weasel (incr090): passed Test intro-vtat-attr-to-proc (incr091): passed Test vomb2-called-vomb5 (incr092): passed 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 /Users/manus/local/eweasel/eweasel/tests/incr093/tcf at line 20 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): passed 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 /Users/manus/local/eweasel/eweasel/tests/incr102/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 vdrd-weasel (incr103): passed Test ext-with-alias-new-cluster (incr104): passed Test veen-cant-find-feature (incr105): passed Test no-precomp-chg-class-name (incr106): passed 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): passed Test vtcg-sneak (incr113): passed Test vtat1-called-vtcg (incr114): passed Test new-root-cluster-bogus-vscn (incr115): passed 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 /Users/manus/local/eweasel/eweasel/tests/incr118/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: silent_failure Expected result: Final status: completed Test reduce-bit-attribute-size (incr119): passed 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): passed Test add-unused-formal-generic (incr127): passed Test make-generic-expanded-freeze (incr128): passed Test vtcg-in-generic-constraint (incr129): passed Test vtct-vtcg-die-degree-5 (incr130): passed Test finalize-remove-expanded-type (incr131): passed Test external-arg-signature-mismatch (incr132): passed Test bogus-vd28 (incr133): passed Test remove-part-of-external-decl (incr134): passed 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 /Users/manus/local/eweasel/eweasel/tests/incr136/tcf at line 23 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 /Users/manus/local/eweasel/eweasel/tests/incr144/tcf at line 23 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-vsrt (incr145): passed Test add-remove-constraint-vtcg (incr146): passed Test melt-then-empty-ace (incr147): passed Test vtcg-creator-try-again (incr148): passed 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 /Users/manus/local/eweasel/eweasel/tests/incr149/tcf at line 22 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 10 Final status: paused Expected result: Final status: completed Test add-remove-veen-freeze (incr150): passed Test finalize-move-attribute (incr151): passed Test vtcg-remove-creation-clause (incr152): failed Description: After initial compilation, the creation procedure named in a generic constraint is removed from the creation clause in its class, but the feature is left there. When the system is recompiled, the VTCG validity error is not detected. Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr152/tcf at line 23 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 change-once-to-do (incr153): passed Test invalid-expanded-generic (incr154): failed Description: After initial compilation with an invalid type `expanded STRING' as an actual generic parameter, the type is changed to STRING. Finalization completes normally, but the resulting C code will not compile. Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr154/tcf at line 22 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 NOT_SUPPORTED Final status: paused Expected result: Final status: completed Test vjar-sneak (incr155): passed Test resume-vtcg-none-actual (incr156): passed Test constraint-cycle-change-generic (incr157): passed Test vsrt-vtct-vcfg-die (incr158): passed Test vtct-vcfg-vsrt-die (incr159): passed Test alternate-vd27-and-vsrt (incr160): passed Test missing-rescue-clause (incr161): passed Test vdpr-sneak (incr162): passed Test switch-generics-tricky-vtcg (incr163): failed Description: After initial compilation, formal generics in an inheritance clause are switched, causing a class to no longer conform to the generic constraint. The class is used as an actual generic in a generic constraint. The compiler does not detect the newly introduced VTCG error in the declaration of the TEST1 constraint. Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr163/tcf at line 26 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: Validity error in class TEST code VTCG Final status: paused Expected result: Validity error in class TEST1 code VTCG Final status: paused Test delete-parent-vtcg-sneak (incr164): passed Test switch-generics-tricky-vdrd (incr165): passed Test change-external-melt (incr166): passed Test make-synonyms-vdpr-sneak (incr167): passed Test add-alternative-precondition (incr168): failed Description: After initial compilation where the system is melted, the name of a routine in a parent class is changed, yielding a third inherited version of a redefined feature. The new inherited version of the feature has no precondition, which should make the alternative precondition of the redefined feature true. But the precondition is violated when the system is executed. Execution works correctly when the system is melted from scratch. Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr168/tcf at line 31 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 change-created-actual-generic (incr169): passed Test vmfn-new-deferred-ancestor (incr170): passed Test external-routine-madness (incr171): passed Test resume-ace-syntax-error (incr172): passed Test byte-node-disaster (incr173): passed Test vxrc-sneak (incr174): passed Test set-has-loop-disaster (incr175): passed Test backup-directory-disaster (incr176): passed Test finalize-then-melt (incr177): passed Test freeze-expanded-finalize (incr179): passed Test make-const-variable-freeze (incr180): passed Test constant-variable-function (incr181): passed Test add-inherited-assertions (incr182): passed Test default-create-add-body (incr183): passed Test turn-off-multithreaded (incr184): passed Test change-cplusplus-to-c (incr185): passed Test redefine-to-rename-refreeze (incr186): passed Test env-in-braces-bogus-vd01 (incr187): passed Test constant-variable-constant (incr188): passed Test freeze-print-int64-array (incr189): passed Test vsta-sneak (incr190): passed Test refinalize-with-assertions (incr191): passed Test freeze-const-freeze-finalize (incr192): passed Test move-class-bogus-vd16 (incr193): passed Test change-agent-return-type (incr194): passed Test change-agent-noexp-return-type (incr195): passed Test new-cluster-vscn-sneak (incr196): passed Test create-sub-cluster-bogus-vd30 (incr197): passed Test vgcc-weasel (incr198): passed Test add-vuar-remove-finalize (incr199): passed Test vtec-weasel (incr200): passed Test vtcg-then-syntax-error-then-ok (incr201): passed Test implicit-def-create-finalize (incr202): passed Test remove-syntax-warning-yes (incr203): passed Test bogus-vtec (incr204): passed Test vgcc-remove-generic-creator (incr205): passed Test expand-generic-remove-creation (incr206): passed Test chg-indexing-tag-to-attribute (incr207): passed Test bit-n-illegal-opcode (incr208): passed Test external-make-precondition-true (incr209): passed Test unexpand-class-no-conformance (incr210): passed Test uninherit-any-vdpr2-sneak (incr211): passed Test c-inline-change-arg-order (incr212): passed Test chg-generic-c-inline-function (incr213): passed Test freeze-no-c-compile-melt (incr214): failed Description: After initial compilation where the system is frozen, but without C code compilation, an inheritance clause is removed, which removes a class from the system. Changes are melted. When system cannot be executed (because C code wasn't compiled), an attempt is made to compile the C code. However, it won't link due to an undefined symbol. Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr214/tcf at line 25 Original text: c_compile_result ok Substituted text: c_compile_result ok Reason: actual C compilation result does not match expected result Actual result: failure C_compilation_not_completed Expected result: no_failure C_compilation_completed Test chg-constraint-add-create (incr215): passed Test chg-external-function-type (incr217): passed Test make-agent-target-expanded (incr218): passed Test expand-unexpand-agent-target (incr219): failed Description: A generic class whose formal generic parameter G is constrained by non-expanded class FOO has a routine that takes an argument of type G and passes it as the target in a call to an agent with an open target of type FOO. A second class inherits this class and provides FOO as actual generic parameter. The actual argument in the call to the routine is of type `expanded FOO'. After initial compilation where the system is frozen, the actual generic parameter is changed to `expanded FOO' and changes are melted. Then the actual generic is changed back to `FOO'. System execution then dies with a segmentation fault. Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr219/tcf at line 43 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test remove-constraint-veen-sneak (incr220): failed Description: A generic class whose formal generic parameter G is constrained by STRING has a call to an agent whose open target is {G}. After initial compilation, the generic constraint is removed. When the system is recompiled, the compiler does not detect the newly introduced VEEN error. Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr220/tcf at line 17 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 NOT_SUPPORTED Final status: paused Expected result: Final status: completed Test vuex-weasel (incr221): passed Test change-system-name (incr222): passed Test function-attribute-constant (incr223): passed Test vdpr-weasel (incr224): passed Test change-anchor-type-finalize (incr225): failed Description: A class has a routine `try (t: like n): like t' which just returns its argument, where `n: INTEGER is 47'. After initial compilation where the system is melted, the declaration of `n' is changed to `n: DOUBLE is 13.25' and the system is finalized. System execution then produces the wrong result (13 if finalized with inlining, -NaN if finalized without inlining and -O2, internal compiler error in gcc 3.2.2 if finalized without inlining and -O3). Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr225/tcf at line 32 Original text: compare exec_output2 output2 Substituted text: compare exec_output2 output2 Reason: files being compared do not have identical contents Test precompile-again (incr226): failed Description: After initial compilation where a class plus EiffelBase is precompiled the system is precompiled again using precomp.epr file. The compiler dies with a segmentation fault in FILE_NAME.make_from_string. Compiler should probably say that project is read-only. Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr226/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: Final status: unknown Raw compiler output: Eiffel Compilation Manager (version 6.4.7.8765 GPL Edition - iphone-arm) There is already a project compiled in "/Users/manus/local/eweasel/eweasel/../test_dir/incr226" It needs to be deleted before a precompilation. Expected result: Final status: completed Test remove-ace-object-clause (incr227): failed Description: A system is compiled with an Ace file which specifies a nonexistent library via `object: "-lweasel"'. Then the `object' clause is removed completely from the Ace and system is melted. When the previously generated C code is compiled, it won't link because the (nonexistent) library is still referenced. Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr227/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: failure C_compilation_not_completed Expected result: no_failure C_compilation_completed Test add-del-static-ext-assertion (incr228): passed Test generic-agent-add-constraint (incr229): failed Description: After initial compilation, a generic constraint is added to the formal generic parameter G of a class and changes are recompiled. Printing the generating type of `agent {G}.generator' then produces the wrong output (same as before the change). Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr229/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 TEST1 code NOT_SUPPORTED Final status: paused Expected result: Final status: completed Test remove-vtcg-still-complains (incr230): passed Test vncp-sneak (incr231): failed Description: After initial compilation, an inheritance clause is deleted. This introduces a VNCP error because PARENT no longer conforms to ARRAY [PARENT], but when the system is recompiled the compiler does not detect it. Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr231/tcf at line 24 Original text: compile_result validity_error TEST1 VNCP Substituted text: compile_result validity_error TEST1 VNCP Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST1 code VNCP Final status: paused Test vifi-sneak (incr232): failed Description: After initial compilation, an inherited class is changed to a frozen class. This introduces a VIFI error but the compiler does not detect it. Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr232/tcf at line 22 Original text: compile_result validity_error TEST VIFI Substituted text: compile_result validity_error TEST VIFI Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VIFI Final status: paused Test bogus-vtct (incr233): passed Test expanded-main-entry-vanished (incr234): passed Test once-status-change (incr235): passed Test generic-status-change (incr236): passed Test remove-convert-clause (incr237): passed Test infinite-recompilation (incr238): passed Test typed-pointer-remove-expanded-derivation (incr239): passed Test change-unique-in-inspect (incr240): passed Test like-anchor-recompile-in-generic-class (incr241): passed Test remove-two-classes-crash (incr242): passed Test manifest-array-recompilation-crash (incr243): passed Test vtct-vcfg-vsrt-die2 (incr244): passed Test remove-add-root-cluster-crash (incr245): passed Test replicated-once-recompilation (incr246): failed Description: Once feature replicated multiple times should be recompiled for all replications. Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr246/tcf at line 45 Original text: compare exec_output2 output Substituted text: compare exec_output2 output Reason: files being compared do not have identical contents Test change-manifest-type-expr (incr247): passed Test manifest-type-expr-none (incr248): passed Test internal-incrementality (incr249): passed Test move-implementation (incr250): passed Test assigner-for-synonym (incr251): passed Test add-unique (incr252): passed Test remove-rename-class (incr253): passed Test add-generic-creation-specification (incr254): passed Test remove-used-library (incr255): passed Test cluster-into-library-error (incr256): passed Test agent-add-arguments (incr257): passed Test agent-add-derivation (incr258): passed Test chg-class-with-inline-agent (incr259): passed Test lazy-call-on-attribute-agent (incr260): passed Test auto-properties-recompilation (incr261): passed Test detect-override (incr263): passed Test vtug-override (incr264): passed Test add-remove-inline-agent (incr265): passed Test chg-class-with-inline-agent (incr266): passed Test resume-after-error-in-class-with-inline-agent (incr267): passed Test change-generic-type-of-agent-target (incr268): passed Test inline-agent-with-local-in-inherited-assertion (incr269): passed Test class-conflict-error-sneak (incr270): passed Test type-getting-confused (incr271): passed Test wiping-out-types (incr272): passed Test noclass-syntax (incr273): passed Test gc-crash-in-melted-agent-creation (incr274): passed Test expanded-not-expanded (incr275): passed Test finalize-changed-agent-to-changed-feature (incr276): passed Test inline-agent-from-scratch-bug (incr277): passed Test changing-formals-invariant-not-removed (incr278): passed Test changing-formals-precursor-crash (incr279): passed Test console-setting-change (incr280): passed Test vtcg-add-remove-missing-error (incr281): failed Description: Adding a creation constraint clause causes a VTCG error since a class does not met the requirements, then removing it and adding it again fail to report the same original error. Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr281/tcf at line 23 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 funky-removal-of-type (incr282): passed Test multi-constraint-incremental-crash (incr283): passed Test removing-formal-crashes (incr284): passed Test partial-generic-addition-crash (incr285): passed Test change-export-create-generic-contraint-error-ignored (incr286): failed Description: When specifying the export clause of the create of a type involved in constrainted generic. The VTCG is not catched, unless recompiling from scratch. Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr286/tcf at line 19 Original text: compile_result validity_error FOO_BAR_FACTORY VTCG Substituted text: compile_result validity_error FOO_BAR_FACTORY VTCG Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class FOO_BAR_FACTORY code VTCG Final status: paused Test inherit-crash-after-update (incr287): passed Test large-formal-changes (incr288): passed Test change-system-crash (incr289): passed Test unresolved-c-externals (incr290): passed Test unresolved-c-externals-2 (incr291): passed Test bogus-vmrc-2 (incr292): passed Test inherited-code-checking-crash (incr293): failed Description: When a class has one of its ancestor that has changed by moving an infix routine to a parent class, then the compiler crashes while processing the inherited assertions of descendant classes if they use the routine that has moved. Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr293/tcf at line 22 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 () Expected result: Final status: completed Test invalid-root-procedure (incr294): passed Test generic-replication-nc-crash (incr295): failed Description: Demonstrate a compiler crash after changes containing generic class, replication and non-conforming inheritance. Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr295/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 () Expected result: Final status: completed Test consecutive-error-fix-sequence-crash (incr296): passed Test add-empty-create-clause (incr297): failed Description: After initial compilation, an empty create clause is added to a class with no create clause. This introduces a VTCG error but the compiler does not detect it. The class is named in the constraint on a formal generic with a creation clause. Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr297/tcf at line 18 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 change-expanded-class-name (incr298): passed Test add-feature-invalidate-generic-rename (incr299): failed Description: After initial compilation, a feature is added to a class that serves as the constraint for the formal generic in another class. This introduces a VTGC(2) error but the compiler does not detect it. Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr299/tcf at line 17 Original text: compile_result validity_error TEST1 VTGC(2) Substituted text: compile_result validity_error TEST1 VTGC(2) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST1 code VTGC(2) Final status: paused Test generic-call-renamed-default-create (incr300): failed Description: After initial compilation, the already redefined `default_create' routine in an expanded class is renamed in the inheritance clause too. This expanded class is used as actual generic to a generic class which has a creation expression create {G} in a routine precondition. When the system is executed after the change, it crashes with a seg fault while trying to evaluate the precondition of {TEST1}.weasel. Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr300/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 Expected result: Final status: completed Test ececil-undefined-symbol (incr301): failed Description: After a sequence of changes, C compilation fails with undefined symbols in ececil.c Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr301/tcf at line 48 Original text: c_compile_result ok Substituted text: c_compile_result ok Reason: actual C compilation result does not match expected result Actual result: failure C_compilation_not_completed Expected result: no_failure C_compilation_completed Test pattern-of-id-crash (incr302): failed Description: After a sequence of changes, the compiler crashes with a call on Void target in {PATTERN_TABLE}.pattern_of_id Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr302/tcf at line 46 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 () Expected result: Final status: completed Test add-default-create-invalid-vtec (incr303): failed Description: After initial compilation a class is changed to an expanded class which introduces a VTEC(2) error. Then default_create is added as a creation procedure, which should resolve the error but the compiler still reports VTEC(2) Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr303/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: Validity error in class TEST code VTEC(2) Final status: paused Expected result: Final status: completed Test change-base-library-to-base-safe (incr304): failed Description: After initial compilation where the "base" library is used, the compiler correctly reports some VEVI errors. When the problem is corrected by changing the configuration file to use the "base-safe" library, resuming compilation causes the compiler to crashes in degree 6. Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr304/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 () Expected result: Final status: completed Test add-then-remove-vlec-via-generic (incr305): failed Description: After initial compilation an actual generic is changed from TEST2 to TEST2 [DOUBLE], which introduces a VLEC error. When the compiler detects the error, the actual generic is changed back to its original value but the compiler still reports a VLEC error. Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr305/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: Validity error in class TEST code VLEC Final status: paused Expected result: Final status: completed Test attempt-on-expanded-then-reference (incr306): failed Description: After initial compilation where TEST2 is a reference class , a call to `{TEST2} #? Void' returns Void. Then TEST2 is changed to an expanded class, system recompiled and TEST2 is then changed back to a reference class. Executing the system then results in a seg fault instead of correct output, even though the classes are the same as the original classes. Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr306/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 formal-generic-constraint-rename-crash (incr307): failed Description: A sequence of changes possibly involving the rename clause of formal generic constraint causes the compiler to crash Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr307/tcf at line 39 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 () Expected result: Final status: completed Test generic-attach-mark-change-bogus-vevi (incr308): failed Description: Changing an attachment mark on a formal generic parameter to "?" causes the compiler to incorrectly continue to report a VEVI error instead of the expected VJAR error Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr308/tcf at line 24 Original text: compile_result validity_error TEST2 VJAR Substituted text: compile_result validity_error TEST2 VJAR Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST2 code VEVI Final status: paused Expected result: Validity error in class TEST2 code VJAR Final status: paused Test real-feature-id-crash (incr309): failed Description: After initial compilation changes to an expanded generic class and to its client cause the compiler to crash with a call on Void target in {FEATURE_B}.real_feature_id Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr309/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: Final status: aborted system_failed had_exception () Expected result: Final status: completed Test change-class-to-deferred-vtcg-sneak (incr310): failed Description: After initial compilation changing a class used as an actual generic parameter to be deferred introduces a VTCG error but the compiler does not detect it Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr310/tcf at line 23 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 remove-and-add-base-eats-memory (incr311): skipped Test generate-final-c-body-crash (incr312): failed Description: A sequence of changes causes the compiler to crash with a call on Void target in {ADDRESS_TABLE}.generate_final_c_body Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr312/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: Final status: aborted system_failed had_exception () Expected result: Final status: completed Test remove-convert-clause-undetected-vjar (incr313): failed Description: After initial compilation, a convert clause is removed completely. This introduces a VJAR error but the compiler does not detectit Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr313/tcf at line 22 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 add-inherit-clause-undetected-vycp (incr314): failed Description: After initial compilation, a inheritance clause is added. This introduces a VYCP(2) error but the compiler does not detect it Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr314/tcf at line 22 Original text: compile_result validity_error TEST1 VYCP(2) Substituted text: compile_result validity_error TEST1 VYCP(2) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST1 code VYCP(2) Final status: paused Test add-remove-expanded-mark-generic-class (incr315): failed Description: After initial compilation, a generic lcass is changed so that it is also expanded. When the compiler reports VDRD(6) and VDRD(2) errors, the expanded mark is removed and compilation resumed. The compiler then crashes with a call on Void target in {GEN_TYPE_A}.static_type_id. Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr315/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 () Expected result: Final status: completed Test make-parent-expanded-call-precursor (incr316): failed Description: After initial compilation, a inherited class with a routine called by `precursor' in the descendant is changed to an expanded classes and changes are melted. System execution then ends with a segmentation fault when trying to call the precursor routine. Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr316/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 Expected result: Final status: completed Test remove-convert-clause-crash (incr317): failed Description: A sequence of changes that ends up removing a convert clause completely causes the compiler to crash with a call on Void target in {CONVERTIBILITY_CHECKER}.check_conversion Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr317/tcf at line 26 Original text: compile_result validity_error TEST1 VJAR Substituted text: compile_result validity_error TEST1 VJAR Reason: actual compilation result does not match expected result Actual result: Final status: aborted system_failed had_exception () Expected result: Validity error in class TEST1 code VJAR Final status: paused Test remove-convert-clause-bogus-vncp (incr318): failed Description: After the compiler correctly detects a VNCP error because two classes convert to each other, the entire convert clause is removed from one of the classes. This fixes the error but the compiler still reports VNCP Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr318/tcf at line 23 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 VNCP Final status: paused Expected result: Final status: completed Test execution-failure-after-vevi (incr319): passed Test switch-to-conforming-inheritance (incr320): passed Test eif-gen-conf-init-crash (incr321): passed Test function-to-attribute-refinalize (incr322): passed Test change-obsolete-syntax-to-transitional (incr323): passed Test vd71-called-syntax-error (incr324): failed Description: A system whose root class is in a file whose name does not match the class name correctly elicits a VD80 warning from the compiler. Then the file is changed to an empty file and system is quick melted. Compiler should report a VD71 error (classfile without a class) but reports a syntax error instead. Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr324/tcf at line 19 Original text: compile_result validity_error NONE VD71 Substituted text: compile_result validity_error NONE VD71 Reason: actual compilation result does not match expected result Actual result: Syntax error in class TEST at line 1 Final status: paused Expected result: Validity error code VD71 Final status: paused Test c-syntax-error (incr325): passed Test override-checkin-crash (incr326): passed Test bogus-vfav (incr327): failed Description: After initial compilation, a change introduces a bogus VFAV(1) error, when the compiler should be reporting VMFN instead Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr327/tcf at line 20 Original text: compile_result validity_error TEST ECMA-VMFN(2) VMFN Substituted text: compile_result validity_error TEST ECMA-VMFN(2) VMFN Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VFAV(1) Final status: paused Expected result: Validity error in class TEST code ECMA-VMFN(2) Validity error in class TEST code VMFN Final status: paused Test vfav-sneak (incr328): failed Description: A system with a VFAV(1) error (trying to rename an infix feature to a prefix feature in a generic constraint) is correctly detected but resuming the compile causes the compiler to accept the classes even though the error is still present Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr328/tcf at line 19 Original text: compile_result validity_error TEST2 VFAV(1) Substituted text: compile_result validity_error TEST2 VFAV(1) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST2 code VFAV(1) Final status: paused Test add-class-then-make-expanded (incr329): failed Description: After initial compilation, a class that is the type of an anchor for an open target of an agent has a descendant added and the anchor is changed to reference the new class. Changing this new class to be expanded then causes the compiler to crash in degree 2 Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr329/tcf at line 30 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 () Expected result: Final status: completed Test dead-code-removal-crash (incr330): failed Description: Melting a system whose config file specifies a root class but no root feature where the root class inherits from ANY and redefines `default_create' works fine but a subsequent finalize crashes the compiler during dead code removal Execution error in file /Users/manus/local/eweasel/eweasel/tests/incr330/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: Final status: aborted system_failed had_exception (Segmentation fault) Expected result: Final status: completed 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): passed Test weird-sprintf-melt-panic (melt010): manual Test manifest-array-int-double (melt011): passed Test raise-exception-call-self (melt012): passed Test invalid-assertion-level (melt013): passed Test creation-proc-modify-target (melt014): passed 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 /Users/manus/local/eweasel/eweasel/tests/melt023/tcf at line 20 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): passed 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): passed 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 /Users/manus/local/eweasel/eweasel/tests/melt031/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 eval-precondition-when-retry (melt032): passed Test melted-two-level-rescue (melt033): passed 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 /Users/manus/local/eweasel/eweasel/tests/melt034/tcf at line 20 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 /Users/manus/local/eweasel/eweasel/tests/melt035/tcf at line 20 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): passed 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 /Users/manus/local/eweasel/eweasel/tests/melt037/tcf at line 21 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): passed Test put-double-five-over-two (melt042): passed Test expanded-creation-alloc-memory (melt043): passed Test melted-creation-pass-target (melt044): passed Test once-result-uninitialized (melt045): passed Test melted-attribute-address (melt046): passed Test null-in-debug-key (melt047): passed Test melted-short-integers (melt048): passed Test wide-char-comparison (melt049): passed Test add-root-creation-arg (melt050): passed Test wrong-field-count (melt051): passed Test invariant-melted-once-function (melt052): passed Test melted-integer-compare (melt053): passed Test eval-precondition-on-retry (melt054): failed Description: A routine `try' which has a precondition calls another routine `try2' which raises an exception. If the calling routine catches the exception and retries, the precondition is evaluated again if code is melted. Frozen code works correctly - it does not re-evaluate the precondition in the routine which catches the exception. Execution error in file /Users/manus/local/eweasel/eweasel/tests/melt054/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 melt-call-real-external (melt055): passed Test melted-expanded-like-current (melt056): passed Test melted-long-class-name (melt057): passed Test melt-pass-bit-shift (melt058): passed Test inspect-integer-64-one (melt059): passed Test melted-profile-system (melt060): passed Test integer-16-minus-one (melt061): passed Test melted-invariant-invalid-object (melt062): passed Test melted-void-expanded-arg (melt063): passed Test melted-local-referers (melt064): passed Test melted-profinfo-wrong-dir (melt065): failed Description: A system whose Ace specifies `profile (yes)' is melted. When the system is executed with the EIFGEN/W_code directory as the current directory with the MELT_PATH environment variable not set, system execution attempts to create the "profinfo" file in the wrong place (not in the EIFGEN/W_code directory). Execution error in file /Users/manus/local/eweasel/eweasel/tests/melt065/tcf at line 24 Original text: compare exec_output2 output Substituted text: compare exec_output2 output Reason: files being compared do not have identical contents Test bit-n-out-of-memory (melt066): passed Test expanded-generic-anchored-local (melt067): passed Test melted-old-expanded-result (melt068): passed Test expanded-list-like-current (melt069): passed Test special-expanded-creation (melt070): passed Test melt-old-expression-in-redefinition (melt071): passed Test compare-var-attribute-addrs (melt072): failed Description: A class with the instruction `print ($a = $b)' where `a' and `b' are variable attributes of the class compiles fine when melted, but execution ends with a run-time panic and "operational stack botched". Frozen code works fine and correctly prints False. Execution error in file /Users/manus/local/eweasel/eweasel/tests/melt072/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 increment-character (melt073): passed Test int64-cast-uint64 (melt074): passed Test character_32-inspect (melt075): passed Test invariant-check-melted-agent-callee (melt076): passed Test dollar-with-tuple (melt077): passed Test dollar-with-expanded-attribute (melt078): failed Description: When the $ operator is used on an attribute and assigned to an entity of type ANY, in melted mode we get a generating type of TEST1 instead of getting POINTER. Execution error in file /Users/manus/local/eweasel/eweasel/tests/melt078/tcf at line 13 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test runtime-stack-corruption (melt079): passed Test nan-comparison (melt080): passed Test melted-special-creation-crash (melt081): passed Test melted-external-call (melt082): failed Description: When you call an external using $obj as argument, then the execution is done using the content of obj, not obj. Execution error in file /Users/manus/local/eweasel/eweasel/tests/melt082/tcf at line 26 Original text: compare exec_output2 output Substituted text: compare exec_output2 output Reason: files being compared do not have identical contents Test melted-agent-call-on-void-target (melt083): failed Description: An agent call on a void target in an assertion gets a seg fault when system is melted. Frozen code correctly gets a call on Void target exception. Execution error in file /Users/manus/local/eweasel/eweasel/tests/melt083/tcf at line 13 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test inherited-like-current-object-test (melt084): failed Description: An object test `{x: like Current} Current' agent written in a class that is inherited by an expanded class and called by a routine in the expanded class causes a run-time panic when executed and code is melted. Frozen and finalized code work correctly. Execution error in file /Users/manus/local/eweasel/eweasel/tests/melt084/tcf at line 14 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 melted-anchored-precursor-object-test (melt085): passed Test melted-anchored-precursor-in-tuple (melt086): passed Test redefined-once-with-alt-precondition (melt087): failed Description: A once function with a True precondition is redefined in a descendant with an alternate True precondition. System execution ends with a segmentation fault if the once function is called in the descendant and the system is melted. Frozen code works correctly. Execution error in file /Users/manus/local/eweasel/eweasel/tests/melt087/tcf at line 13 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 character_32-constant (melt088): failed Description: A CHARACTER_32 constant is not handled correctly in melted code. Execution error in file /Users/manus/local/eweasel/eweasel/tests/melt088/tcf at line 14 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test alt-precondition-call-on-void-target (melt089): failed Description: A function whose return type is expanded is redefined in a descendant with with an alternate True precondition. A call to the function returns void in a void-safe system, which should be impossible, but only if the system is melted. Execution error in file /Users/manus/local/eweasel/eweasel/tests/melt089/tcf at line 15 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 melted-object-test-with-anchored-none (melt090): failed Description: An object test involving an anchored type that is anchored to an attribute of type NONE causes system execution to end with an illegal opcode panic if code is melted. Frozen code works fine. Execution error in file /Users/manus/local/eweasel/eweasel/tests/melt090/tcf at line 12 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 melted-string-crash (melt091): passed Test melted-agent-exception-crash (melt092): passed Test raise-exception-inspect-branch (melt093): passed Test dollar-with-expanded-attribute-in-generic (melt094): failed Description: A routine in a generic class which passes $x to a procedure, where `x' is an attribute of type G, results in a POINTER value that incorrectly equals `default_pointer', but only when system is melted. Furthermore, printing the value of this pointer displays the non-pointer string "False". Execution error in file /Users/manus/local/eweasel/eweasel/tests/melt094/tcf at line 15 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test wrong-line-number-in-trace (melt095): passed 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 /Users/manus/local/eweasel/eweasel/tests/freez001/tcf at line 28 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): passed Test expanded-local-no-creation (freez006): passed 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 /Users/manus/local/eweasel/eweasel/tests/freez007/tcf at line 32 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): passed 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 tuple-expanded-and-integer (freez014): passed Test address-of-redefined-routine (freez015): passed Test integer-8-generating-type (freez016): passed Test frozen-agent-lighter-argument (freez017): passed Test frozen-prefix-attribute (freez018): passed Test tuple-i16-plus-i8 (freez019): passed Test minus-minus-double (freez020): passed Test dispose-with-rescue (freez021): passed Test anchored-double-function (freez022): failed Description: A class has a routine `value (r: DOUBLE): like r' which just returns the value of `r'. When the routine is called with an INTEGER_8 actual argument, the result is wrong but only if the system is frozen. Melted code works correctly. Execution error in file /Users/manus/local/eweasel/eweasel/tests/freez022/tcf at line 29 Original text: compare exec_output2 output Substituted text: compare exec_output2 output Reason: files being compared do not have identical contents Test real-times-real-postcondition (freez023): passed Test inspect-high-bit-integer8 (freez024): passed Test frozen-bitwise-and-local (freez025): passed Test wrong-generic-type-caching (freez026): passed Test freeze-with-unused-locals (freez027): passed Test freeze-with-conversion (freez028): passed Test object-test-with-generic-type (freez029): passed Test invariant-qualified-call-on-constant (freez030): failed Description: A qualified call on a constant attribute where the target is Current does not check the class invariant when the system is frozen. Melted code works correctly Execution error in file /Users/manus/local/eweasel/eweasel/tests/freez030/tcf at line 24 Original text: compare exec_output2 output Substituted text: compare exec_output2 output Reason: files being compared do not have identical contents 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): passed Test finalize-expand-creation-order (final007): passed 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): passed 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): passed Test inline-generic-assign-attempt (final019): passed Test finalize-or-else-true (final020): passed Test finalize-mult-double-constant (final021): passed Test expanded-generic-return-type (final022): passed Test bigger-array-of-bit (final023): passed Test finalize-skip-invariant (final024): passed Test inline-pass-expanded (final025): passed Test c-inline-function-ten-args (final026): passed Test inline-linked-list-expanded (final027): passed Test vicious-finalize-bug (final028): passed Test inline-arrayed-list-expanded (final029): passed Test inline-void-argument (final030): passed Test precursor-call-current-instead-of-precursor (final031): passed Test finalize-manifest-type-expr (final032): passed Test inline-once-string (final033): passed Test inline-deferred-routine-with-only-one-implementation (final034): passed Test dynamic-deferred-routine-implemented-in-generic (final035): passed Test inline-deferred-routine-with-one-external-implementation (final036): passed Test inline-deferred-routine-with-constants-implementations (final037): passed Test agent_to_feature_of_generic_class (final038): passed Test wrong-attribute-dynamic-binding (final039): passed Test dead-code-catcall (final040): passed Test oms-ec-precondition-violation (final041): failed Description: During code generation of inherited contracts of a routine that has some once manifest string, a precondition is violated in the compiled. Execution error in file /Users/manus/local/eweasel/eweasel/tests/final041/tcf at line 26 Original text: c_compile_result ok Substituted text: c_compile_result ok Reason: actual C compilation result does not match expected result Actual result: failure C_compilation_not_completed Expected result: no_failure C_compilation_completed Test inlining-finalization-crash (final042): passed Test inlining-on-named-tuple-crash (final043): passed Test wrong-dynamic-dispatch-on-generic (final044): passed Test change-generic-finalization-crash (final045): failed Description: When performing a change in the formal generic parameters of a class, finalizing crashes the compiler. Execution error in file /Users/manus/local/eweasel/eweasel/tests/final045/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: Final status: aborted system_failed had_exception (Segmentation fault) Expected result: Final status: completed Test polymorphic-call-leak (final046): passed Test inlining-with-anchor (final047): passed Test inlining-deferred-from-other-branch (final048): passed Test polymorphic-call-on-formal-seed (final049): passed Test inlining-with-anchor-2 (final050): passed Test wrong-polymorphic-wrapper (final051): passed Test wrong-call-when-merging (final052): passed Test wrong-polymorphic-wrapper-2 (final053): passed Test wrong-polymorphic-external-wrapper (final054): passed Test inlining-with-anchor-3 (final055): passed Test inlining-with-formal (final056): passed Test inlining-wrong-argument-reuse (final057): passed Test inlining-missing-gc-hooks (final058): passed Test inlining-with-inline-externals (final059): passed Test inlining-with-formal-2 (final060): passed Test inlining-with-less-formals (final061): passed Test inlining-with-less-formals-2 (final062): passed Test unresolved-c-externals-on-inline-agents (final063): passed Test bad-c-inline-agent (final064): passed Test inline-expanded-return (final065): passed Test wrong-generic-type-generation (final066): passed Test inline-agent-crash-final (final067): passed Test inlined-generic-expanded-type (final068): failed Description: Inlined generic expanded type evaluation should not differ from non-inlined one. Execution error in file /Users/manus/local/eweasel/eweasel/tests/final068/tcf at line 25 Original text: compare exec_output_f output Substituted text: compare exec_output_f output Reason: files being compared do not have identical contents Test change-actual-generic-to-expanded (final069): failed Description: After initial compilation a class with many attributes that is used as an actual generic is changed to be expanded and the system is refinalized. This causes the compiler to crash in degree -3. Execution error in file /Users/manus/local/eweasel/eweasel/tests/final069/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: Final status: aborted system_failed had_exception () Expected result: Final status: completed Test finalize-expanded-unref-local (final070): 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 finalized and executed, the creation procedure of the expanded class is not invoked when `f' is called. Execution error in file /Users/manus/local/eweasel/eweasel/tests/final070/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-all-classes-true (final071): failed Description: Finalizing a system when the configuration file specifies all_classes="true" causes the compiler to crash, whether dead code removal is enabled or not Execution error in file /Users/manus/local/eweasel/eweasel/tests/final071/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: Final status: aborted system_failed had_exception (Segmentation fault) Expected result: Final status: completed Test finalize-self-init-attribute (final072): passed Test finalize-invariant-wrong-class-name (final073): failed Description: The exception trace for a class invariant violation in a finalized system where assertions are kept shows the class name as RUN-TIME instead of the correct class name. Execution error in file /Users/manus/local/eweasel/eweasel/tests/final073/tcf at line 22 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test finalize-bogus-invariant-violation (final074): failed Description: A finalized system where assertions are kept violates the class invariant `area_exists' of ARRAY. A frozen system executes correctly, with no invariant violation. Execution error in file /Users/manus/local/eweasel/eweasel/tests/final074/tcf at line 33 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 finalize-external-creation-procedure (final075): failed Description: An external creation procedure is not called when the system is finalized Execution error in file /Users/manus/local/eweasel/eweasel/tests/final075/tcf at line 34 Original text: compare exec_output2 output Substituted text: compare exec_output2 output Reason: files being compared do not have identical contents Test finalize-inline-attribute-body (final076): failed Description: Finalizing a system with a call to an attribute with a body crashes the compiler if inlining is enabled. Execution error in file /Users/manus/local/eweasel/eweasel/tests/final076/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: Final status: aborted system_failed had_exception () Expected result: Final status: completed Test finalize-creation-expression-corruption (final077): passed Test finalize-inline-precursor-2 (final078): failed Description: Finalizing with inlining in a system with a class with a multi-constrained generic where a routine call on the generic type calls precursor crashes the compiler in {BYTE_CONTEXT}.real_type_in Execution error in file /Users/manus/local/eweasel/eweasel/tests/final078/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 fault) Expected result: Final status: completed Test finalize-attribute-access-crash (final079): passed Test gc-tracking-001 (runtime001): passed Test gc-tracking-002 (runtime002): passed Test gc-expanded-in-special (runtime003): passed Test gc-expanded-allocating-memory-in-special (runtime004): failed Description: SPECIAL containing expanded objects should not cause crash at run-time in finalized mode when the expanded objects as a creation routine that allocates memory. Execution error in file /Users/manus/local/eweasel/eweasel/tests/runtime004/tcf at line 25 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 adopt-wean-freeze-unfreeze-multithreaded (runtime005): passed Test gc-expanded-allocating-memory-in-special-2 (runtime006): failed Description: SPECIAL containing expanded objects without references should not cause crash at run-time in finalized mode when the expanded objects as a creation routine that triggers some GC cycle memory or when calling a routine that also triggers a GC cycle. Execution error in file /Users/manus/local/eweasel/eweasel/tests/runtime006/tcf at line 25 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 gc-tracking-003 (runtime007): passed Test memory_leak_with_invariant_on (runtime008): passed Test missing-marking-with-no-gc (runtime009): passed Test zero-sized-objects-slowdown (runtime010): failed Description: If we create a lot of zero-sized empty space, the GC takes ages during a GC cycle. Execution error in file /Users/manus/local/eweasel/eweasel/tests/runtime010/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: silent_failure Expected result: Final status: completed Test tuple-special-twin-bug (runtime011): failed Description: If we create a lot of TUPLEs whose physical size is larger than what they really need to be and try to copy it in a TUPLE of a smaller physical size (even though both TUPLE have the same count) we could corrupt the TUPLE memory. Same goes with SPECIAL. Execution error in file /Users/manus/local/eweasel/eweasel/tests/runtime011/tcf at line 14 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test overflow-special-resizing (runtime012): manual Test overflow-special-expanded-resizing (runtime013): failed Description: Made sure that various operations on SPECIALs around the 4GB boundary are properly done. Like runtime012 but this time with special of expanded. Execution error in file /Users/manus/local/eweasel/eweasel/tests/runtime013/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: silent_failure Expected result: Final status: completed Test cond-timedwait-failure (thread001): failed Description: A system performing repeated calls to the C underlying routine `pthread_cond_timedwait' may fail because the timeout is improperly specified. Execution error in file /Users/manus/local/eweasel/eweasel/tests/thread001/tcf at line 14 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test nested-thread-exit-failure (thread002): failed Description: A system creating a few threads crashes when threads exit, it does not crash if the parent thread always wait for the child thread to terminate (see commented line about `join'). Execution error in file /Users/manus/local/eweasel/eweasel/tests/thread002/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: silent_failure Expected result: Final status: completed Test memory-leak-in-eif-thr-wait (thread003): failed Description: Show memory leak in `eif_thr_wait' calling RT_GC_PROTECT(thread_object) without an RT_GC_WEAN if `eif_children_mutex' is NULL. Execution error in file /Users/manus/local/eweasel/eweasel/tests/thread003/tcf at line 14 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test creating-string-runtime-panic (thread004): failed Description: Show crashes in the runtime when creating strings. Execution error in file /Users/manus/local/eweasel/eweasel/tests/thread004/tcf at line 15 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test mem-info-update-crash-after-threads (thread005): failed Description: Show crashes revealed calling {MEM_INFO}.update or `full_collect' after launching empty threads. Execution error in file /Users/manus/local/eweasel/eweasel/tests/thread005/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: silent_failure Expected result: Final status: completed Test panic-when-too-many-allocation (thread006): failed Description: A class creates several threads. Each thread repeatedly creates a string whose length is determined by a random number generator. System execution ends with an exception, but should not. Execution error in file /Users/manus/local/eweasel/eweasel/tests/thread006/tcf at line 14 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test join-with-no-children-leaks (thread007): failed Description: Calling `join' when there are no child threads leaks memory Execution error in file /Users/manus/local/eweasel/eweasel/tests/thread007/tcf at line 15 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test memory-referers-not-thread-safe (thread008): failed Description: Routine {MEMORY}.referers is not thread-safe Execution error in file /Users/manus/local/eweasel/eweasel/tests/thread008/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: silent_failure Expected result: Final status: completed Test exception-in-thread-failure (thread009): failed Description: A system creating a few threads crashes in melted mode when a thread exit with an exception. Execution error in file /Users/manus/local/eweasel/eweasel/tests/thread009/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: silent_failure Expected result: Final status: completed Test print-double (exec001): failed Description: A procedure which prints out some double constants Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec001/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: silent_failure Expected result: Final status: completed Test bit-out-wrong (exec002): failed Description: Assign a BIT constant to a local and then write it out Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec002/tcf at line 21 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test real-conform-double (exec003): failed Description: A call `real.conforms_to(double)' Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec003/tcf at line 25 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test power-operator (exec004): failed Description: The power operator (infix "^") with INTEGERs, REALs and DOUBLEs Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec004/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: silent_failure Expected result: Final status: completed 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 /Users/manus/local/eweasel/eweasel/tests/exec005/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: silent_failure Expected result: Final status: completed Test wrong-int-div (exec006): failed Description: Call the functions `bottom_int_div' and `up_int_div' in class BASIC_ROUTINES Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec006/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: silent_failure Expected result: Final status: completed Test old-current-ne-current (exec007): failed Description: The expression `old Current' should be equal to Current (using `=') in a routine postcondition Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec007/tcf at line 21 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test plus-before-free-unary (exec008): failed Description: An expression with the standard binary operator infix "+" and a unary free operator Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec008/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: silent_failure Expected result: Final status: completed 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 /Users/manus/local/eweasel/eweasel/tests/exec010/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: silent_failure Expected result: Final status: completed Test expanded-creation-order (exec011): failed Description: Default initializations with nested sub-objects. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec011/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: silent_failure Expected result: Final status: completed Test redecl-implicit-precond (exec012): failed Description: A routine with no precondition (i.e., an implicit precondition of `true') is redefined in a descendant with alternative precondition `false' Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec012/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: silent_failure Expected result: Final status: completed Test bit-equal-wrong (exec013): failed Description: Equal applied to bit strings of different lengths Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec013/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: silent_failure Expected result: Final status: completed Test variable-attr-wrong-address (exec014): manual Test readline-long-line-wrong (exec015): failed Description: The routine `readline' in class UNIX_FILE with long lines (> 256 characters) Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec015/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: silent_failure Expected result: Final status: completed Test rescue-floating-exception (exec016): failed Description: A class with an integer divide-by-zero Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec016/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: silent_failure Expected result: Final status: completed Test strip-wont-c-compile (exec017): failed Description: A class with a `strip' expression Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec017/tcf at line 21 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test strip-with-void (exec018): failed Description: A Strip expression with Void in its Attribute_list Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec018/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: silent_failure Expected result: Final status: completed Test manifest-array-concat (exec019): failed Description: A system which concatenates and prints the strings of a manifest array many times Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec019/tcf at line 21 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test manifest-array-of-bits (exec020): failed Description: A system which concatenates and prints the BIT constants of a manifest array many times Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec020/tcf at line 21 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test very-deep-clone (exec021): failed Description: A call to deep_clone on a deep object structure (>= 43664) Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec021/tcf at line 21 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure 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 /Users/manus/local/eweasel/eweasel/tests/exec022/tcf at line 21 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure 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 /Users/manus/local/eweasel/eweasel/tests/exec023/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: silent_failure Expected result: Final status: completed Test long-linked-list-fails (exec024): failed Description: A system which builds a fairly long linked list Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec024/tcf at line 21 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test malloc-free-collect-coalesce (exec026): failed Description: A system which calls malloc, free and str_blank and also calls routines allocate_tiny, full_collect and full_coalesce in class MEMORY Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec026/tcf at line 21 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test memory-leak (exec027): skipped Test big-bit-attribute (exec028): passed Test external-feature-address (exec029): passed Test null-char-in-string (exec030): failed Description: Null characters (%U) in a manifest string. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec030/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: silent_failure Expected result: Final status: completed Test uninit-root-class-arg (exec031): failed Description: Root class creation procedure with arguments. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec031/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: silent_failure Expected result: Final status: completed Test int-equal-int (exec032): failed Description: Equal when used with integers and characters and other expanded types, as in `equal (1, 3)' Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec032/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: silent_failure Expected result: Final status: completed Test wrong-oper-int-convert (exec033): failed Description: An actual argument of type INTEGER is passed to a routine whose corresponding argument is of type DOUBLE, and the called routine is an infix operator feature Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec033/tcf at line 21 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test invariant-empty-property (exec034): failed Description: A small valid class is compiled with `assertion (all)' and executed; violates assertion `empty_property' of the invariant of class UNIX_FILE Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec034/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: silent_failure Expected result: Final status: completed 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 /Users/manus/local/eweasel/eweasel/tests/exec035/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: silent_failure Expected result: Final status: completed Test expanded-creation-panic (exec036): failed Description: A system has a class TEST1 with 10 attributes of an expanded type, where the base class of the expanded type does not contain any attributes (doesn't matter if it has attributes or not). Repeated creation of instances of TEST1. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec036/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: silent_failure Expected result: Final status: completed Test create-integer-then-incr (exec037): failed Description: A system with a class which does a creation instruction on a local of type INTEGER and then tries to add 1 to that local Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec037/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: silent_failure Expected result: Final status: completed Test once-expanded-result (exec038): failed Description: A system which calls a once function whose result type is an expanded type Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec038/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: silent_failure Expected result: Final status: completed Test create-zero-len-bool-string (exec039): failed Description: The creation procedure `make' of BOOL_STRING has a precondition `positive_size: n > 0'. This should be `nonnegative_size: n >= 0'. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec039/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: silent_failure Expected result: Final status: completed Test merge-sort-panic (exec040): failed Description: A pattern of object allocation, resizing and reclamation which was derived from a simple merge-sort program compiles fine when it is frozen, but dies with a run-time panic when executed with certain large values (e.g. 99999). Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec040/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: silent_failure Expected result: Final status: completed Test random-memory-alloc-panic (exec041): failed Description: A pattern of object allocation and resizing guided by a pair of random number generators and a pair of size limits compiles fine when it is frozen, but dies with a run-time panic when executed with certain large values. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec041/tcf at line 21 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test cecil-panic (exec042): manual Test deep-clone-not-deep-equal (exec043): failed Description: A class has pattern of creation of small STRINGs guided by a random number generator. It also has an attribute which is a BIT_REF and it calls deep_clone on the current object after each STRING creation. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec043/tcf at line 21 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed 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 /Users/manus/local/eweasel/eweasel/tests/exec044/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: silent_failure Expected result: Final status: completed Test reference-to-sub-object (exec045): failed Description: A class declares an attribute of type `expanded A', where A contains an attribute of type `expanded B' (a sub-object). Neither classes A nor B are themselves expanded. Class B has a function which returns `Current' as its result. It appears that a caller is able to get and save a reference to a sub-object. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec045/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: silent_failure Expected result: Final status: completed 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 /Users/manus/local/eweasel/eweasel/tests/exec046/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: silent_failure 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 /Users/manus/local/eweasel/eweasel/tests/exec047/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: silent_failure Expected result: Final status: completed Test inline-external-root-proc (exec048): failed Description: An external routine which is used as the root creation procedure is declared to take a single argument of type ARRAY [STRING] and is an inline C routine. When the external routine tries to access the array, a segmentation fault occurs. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec048/tcf at line 21 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed 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 /Users/manus/local/eweasel/eweasel/tests/exec049/tcf at line 24 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed 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 /Users/manus/local/eweasel/eweasel/tests/exec050/tcf at line 21 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed 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 /Users/manus/local/eweasel/eweasel/tests/exec051/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: silent_failure Expected result: Final status: completed Test arrayed-list-clone-not-equal (exec052): failed Description: A class creates an ARRAYED_LIST [STRING] and then clones it. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec052/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: silent_failure Expected result: Final status: completed Test root-no-class-invariant (exec053): failed Description: The class invariant is not monitored for the root class, even with `assertion (all)'. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec053/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: silent_failure Expected result: Final status: completed Test integer-ref-gt-integer (exec054): failed Description: A class does a comparison INTEGER_REF > INTEGER. This should be legal, since INTEGER conforms to INTEGER_REF, and the compiler accepts it. But executing the system results in a an exception trace (segmentation fault or bus error). Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec054/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: silent_failure Expected result: Final status: completed Test expanded-generic-like-current (exec055): failed Description: A class inherits a feature `weasel: TEST3 [like Current]' where TEST3 is an expanded class. In an instance of the parent class `weasel' is non-Void (it better be since it is of an expanded type). But in the inheriting class `weasel' is Void, which should be impossible. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec055/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: silent_failure Expected result: Final status: completed 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 /Users/manus/local/eweasel/eweasel/tests/exec056/tcf at line 21 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test array-of-expanded-insert-fails (exec057): failed Description: A class creates an ARRAY [expanded FOO] and then fills it up with elements of type `expanded FOO'. When the system is frozen with `assertion (ensure)' and then executed it dies with a segmentation fault while evaluating the postcondition `insertion_done' of `put' in ARRAY. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec057/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: silent_failure Expected result: Final status: completed 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 /Users/manus/local/eweasel/eweasel/tests/exec058/tcf at line 21 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test bit-function-explicit-creation (exec059): failed Description: A function which returns a BIT type includes an explicit creation instruction `!!Result'. The class compiles fine, but when the BIT type is printed it is wrong. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec059/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: silent_failure Expected result: Final status: completed Test inherit-array-of-expanded (exec060): failed Description: A class has two attributes of type `expanded TEST1 [STRING]'. TEST1 is a generic class with parent `ARRAY [expanded TEST1 [G]]'. The system compiles fine, but dies with an exception trace when executed. Turning off garbage collection allows the program to run correctly. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec060/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: silent_failure Expected result: Final status: completed 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 /Users/manus/local/eweasel/eweasel/tests/exec061/tcf at line 21 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test conforms-to-with-generics (exec062): failed Description: An object of type `TEST1 [STRING]' conforms to an object of type `TEST1 [SEQ_STRING]' according to `conforms_to'. This is obviously not the case and system execution later pays the ultimate price. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec062/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: silent_failure Expected result: Final status: completed Test deep-clone-panic (exec063): failed Description: A class repeatedly creates a LINKED_LIST [STRING] whose number of elements is guided by a random number generator and then deep clones this list several times. The system compiles fine, but dies with a run-time panic when executed. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec063/tcf at line 21 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test random-string-blank-panic (exec064): failed Description: A class repeatedly allocates a string whose length is determined by a random number generator and fills the string with blanks. When the system is frozen, system execution quickly ends with a panic. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec064/tcf at line 21 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test random-array-alloc-loop (exec065): failed Description: A class repeatedly allocates an array whose length is determined by a random number generator. When the system is frozen and then executed, it goes into an infinite loop. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec065/tcf at line 21 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test many-locals-deep-recursion (exec066): failed Description: A class calls a recursive routine which creates 255 strings, all fairly short. If the depth of recursion is 22 or greater, a run-time panic occurs when the system is executed. If the routine only creates 200 strings, then the system executes correctly up to a recursion depth of at least 1000. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec066/tcf at line 21 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test big-expanded-attributes (exec067): failed Description: A system has a class TEST1 with 150 attributes of an expanded type, where the base class of the expanded type has 110 STRING attributes. Repeated creation of instances of TEST1 causes a run-time panic when executed, even if garbage collection is turned off. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec067/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: silent_failure Expected result: Final status: completed Test big-manifest-array-of-strings (exec068): manual Test keep-on-stripping (exec069): failed Description: A class has a routine which repeatedly applies the `strip' operator to the current object and puts the resulting array in a local variable. The class has 4 INTEGER attributes. Executing the system results in a run-time panic. Reducing the number of attributes to 3 or turning off garbage collection allows the system to execute correctly for a huge number of iterations. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec069/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: silent_failure Expected result: Final status: completed 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 /Users/manus/local/eweasel/eweasel/tests/exec070/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: silent_failure Expected result: Final status: completed Test few-locals-deep-recursion (exec071): failed Description: A class calls a recursive routine which takes a substring of a string. If the recursion is fairly deep (approximately 350) and garbage collection is enabled, a run-time panic occurs when the system is executed. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec071/tcf at line 21 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test expanded-create-big-string (exec072): failed Description: A root class has two attributes of an expanded type. The base class of this expanded type has a creation procedure which creates a single large string in an attribute. System execution ends with a run time panic, but only if garbage collection is on. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec072/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: silent_failure Expected result: Final status: completed Test negate-big-bit-local (exec073): failed Description: A procedure takes the negation (`not') of a local of type BIT 2_000_000 and prints the first and last bits of the result. System execution ends with a run-time panic, but only if garbage collection is on. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec073/tcf at line 24 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test big-array-of-bit (exec074): failed Description: A class creates an ARRAY [BIT 32] and fills it with elements of type BIT 32. Executing the system results in a run-time panic if the size of the array is big enough (approximately 4500), but only if garbage collection is on. If garbage collection is off, a 500_000 element array works fine. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec074/tcf at line 21 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test negative-eiffel-memory-used (exec075): failed Description: A system repeatedly allocates a string of size `k', where `k' starts at 1 and is incremented by one after each iteration. When the system is executed, the amount of "used" Eiffel memory as indicated by the memory statistics facilities of class MEM_INFO soon becomes negative. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec075/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: silent_failure Expected result: Final status: completed Test repeated-manifest-bit-array (exec076): failed Description: A class repeatedly creates a manifest array with a single element of type BIT 32. Executing the system results in a segmentation fault or run-time panic after a larg enumber of iterations. If garbage collection is off or the BIT 32 array element is not a local entity, the system executes correctly. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec076/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: silent_failure Expected result: Final status: completed 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 /Users/manus/local/eweasel/eweasel/tests/exec077/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: silent_failure Expected result: Final status: completed Test manifest-array-of-strip (exec078): failed Description: A class has a routine which repeatedly creates a manifest array, each of whose elements is `strip ()'. The class has one attribute, of type ARRAY [ANY]. Executing the system results in a run-time panic. Reducing the number of "strip ()" elements below 49 or turning off garbage collection allows the system to execute correctly for a huge number of iterations. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec078/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: silent_failure Expected result: Final status: completed 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 /Users/manus/local/eweasel/eweasel/tests/exec079/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: silent_failure 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 /Users/manus/local/eweasel/eweasel/tests/exec080/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: silent_failure Expected result: Final status: completed Test print-null-get-nothing (exec081): failed Description: The instruction "print ('%U')" does not output a single null character. It does not output anything. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec081/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: silent_failure Expected result: Final status: completed 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 /Users/manus/local/eweasel/eweasel/tests/exec082/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: silent_failure 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 /Users/manus/local/eweasel/eweasel/tests/exec083/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: silent_failure 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 /Users/manus/local/eweasel/eweasel/tests/exec084/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: silent_failure Expected result: Final status: completed 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 /Users/manus/local/eweasel/eweasel/tests/exec085/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: silent_failure Expected result: Final status: completed Test long-short-bits-not-equal (exec086): failed Description: A routine has a call to `equal' where both operands are bit constants which are all zeroes and the second operand is `0B'. The call incorrectly returns false if the length of the first operand is 63 bits or greater. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec086/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: silent_failure Expected result: Final status: completed Test clone-integer-boolean-character (exec087): passed Test expanded-local-void-in-rescue (exec088): passed 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 /Users/manus/local/eweasel/eweasel/tests/exec091/tcf at line 20 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 /Users/manus/local/eweasel/eweasel/tests/exec095/tcf at line 28 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): passed Test generic-constrained-by-double (exec100): passed Test strip-bad-linked-list (exec101): passed Test manifest-array-of-tiny-strings (exec102): passed Test expanded-pass-current (exec103): passed 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 /Users/manus/local/eweasel/eweasel/tests/exec104/tcf at line 20 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): failed Description: A system which keeps appending a string to itself until it runs out of memory dies with a panic when executed, even though the No_more_memory exception is rescued. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec107/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: silent_failure Expected result: Final status: completed Test redefine-expanded-as-attribute (exec108): passed Test compare-var-to-default (exec109): passed Test strip-memory-leak (exec110): failed Description: A class repeatedly generates a small manifest array, each of whose elements is `strip ()'. The system compiles fine, but when executed for a large number of iterations it eventually runs out of memory, which appears to indicate a memory leak. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec110/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 numeric-discrepancies (exec111): passed Test melt-call-precomp-external (exec112): passed Test all-chars-debug-key (exec113): failed Description: A system has a debug instruction with every character except null in its debug key. When the system is melted, the debug instruction is not executed, although it should be. Freezing produces C code that won't compile. Finalizing produces code that compiles and executes correctly. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec113/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 code VD00 Final status: paused Expected result: Final status: completed Test is-integer-ignores-null (exec114): passed Test dynamic-runtime-bad-library (exec115): failed Description: A system whose Ace file specifies `dynamic_runtime (yes)' generates a Makefile with a wrong library name, so C code won't link for frozen or finalized case. The ".so" suffix is missing on Solaris platform. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec115/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: failure C_compilation_not_completed Expected result: no_failure C_compilation_completed Test agent-expanded-target (exec116): passed Test print-integer64 (exec117): passed Test print-max-negative-smallint (exec118): passed Test safe-call-from-rescue (exec119): passed Test multithreaded-string-blank (exec120): passed Test assign-attempt-affects-source (exec121): passed Test wrong-generating-type (exec122): passed Test long-tuple-corrupts-memory (exec123): passed Test replace-substring-with-self (exec124): passed Test generic-generating-type (exec125): passed Test create-tuple-of-tuples (exec126): failed Description: A class repeatedly calls a routine which creates a tuple with 400 elements, each element being itself the tuple [13]. The system compiles fine when melted or frozen, but dies with a bus error when executed. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec126/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 print-big-constant (exec127): passed Test assign-attempt-redefined-type (exec128): passed Test melted-boolean-to-integer (exec129): passed Test negative-integer-8 (exec130): passed Test melted-memory-copy (exec131): passed Test is-integer-accepts-invalid (exec132): passed Test agent-lighter-tuple-arg (exec133): passed Test insert-hash-table-zero (exec134): passed Test store-expanded-retrieve-wrong (exec135): passed Test store-expanded-retrieve-dies (exec136): passed Test array-expanded-not-deep-equal (exec137): passed Test expanded-no-default-create (exec138): failed Description: The creation procedure is not called for an entity of an expanded type, but only if the creation procedure is the implicit `default_create' instead of an explicitly named creation procedure and only if entity is a local and class has no attribute of the same expanded type. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec138/tcf at line 20 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test retr-expanded-not-deep-equal (exec139): passed Test linked-queue-linear-rep (exec140): passed Test inspect-high-bit-char (exec141): passed Test invariant-changes-current (exec142): passed Test is-special-any-type-lies (exec143): passed Test indep-store-big-array (exec144): passed Test recursive-once-create-result (exec145): passed Test frozen-floor-ceiling (exec146): passed Test special-of-expanded (exec147): passed Test generic-conformance-two-params (exec148): passed Test real-const-with-underscores (exec149): passed Test interior-null-in-debug-key (exec150): failed Description: Compiling a system with a debug instruction with debug key that contains an interior null character ("weas%Uel") works fine, but when the system is executed with an Ace file that specifies `debug ("weas%Uxx")' the debug instructions inside the block with the tag are executed, but should not be. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec150/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 code VD00 Final status: paused Expected result: Final status: completed Test huge-memory-leak (exec151): passed Test bit-64-operations (exec152): failed Description: Bit operations on INTEGER_64 do not always works correctly. Bit_shift causes an "operational stack botched" panic when code is melted. Some of the values computed are wrong for frozen/finalized code - shift of 64 positions doesn't work correctly and all values are wrong for bit_shift. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec152/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 nested-manifest-array-gen-type (exec153): passed Test explicit-expanded-creation (exec154): passed Test expanded-add-default-create (exec155): failed Description: After initial compilation where the system is melted, an expanded class with no creation procedure adds a redefinition of default_create. The system is recompiled without error but the creation procedure of the expanded class is called twice (it is only called once if final classes are compiled from scratch). Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec155/tcf at line 28 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test inherit-create-like-current (exec156): passed Test array-bit-two-to-sixteen (exec157): passed Test inspect-big-integer-64 (exec158): passed Test long-name-exception-trace (exec159): passed Test bigger-generation-object-limit (exec160): failed Description: A class creates strings of size 1, 2, 3, etc. If the EIF_GS_LIMIT environment variable is set to 5000 before execution, to set `generation_object_limit', system execution ends with a panic. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec160/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: silent_failure Expected result: Final status: completed Test negative-incremental-gc-stats (exec161): passed Test many-generic-parameters (exec162): failed Description: A system creates an instance of a class with 500 generic parameters, where the class has one attribute for every generic parameter. The system compiles fine when melted, frozen or finalized, but dies when executed. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec162/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 odd-gc-chunk-size (exec163): passed Test gc-expanded-expanded-attrs (exec164): passed Test negative-hex-constant (exec165): passed Test expanded-arg-macro-with-cast (exec166): passed Test external-precond-string-arg (exec167): passed Test external-infix-feature (exec168): passed Test multithreaded-memory-leak (exec169): passed Test external-precursor (exec170): passed Test very-big-gc-chunk-size (exec171): skipped Test external-static-access (exec172): passed Test static-access-generic-function (exec173): passed Test inherit-create-like-attr (exec174): passed Test generating-type-of-any (exec175): passed Test assign-attempt-anchored-tuple (exec176): passed Test generic-agent-generating-type (exec177): failed Description: A routine which prints `(agent {G}.is_stopable).generating_type' where formal generic parameter G -> TEST2 displays FUNCTION [TEST2, TUPLE [TEST2], BOOLEAN] but the actual generic parameter is TEST3 so this is wrong. An assignment attempt of `agent {G}.is_stopable' to a local of type FUNCTION [G, TUPLE [G], BOOLEAN] assigns Void to the local, but should not. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec177/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 TEST1 code NOT_SUPPORTED Validity error in class TEST1 code NOT_SUPPORTED Final status: paused Expected result: Final status: completed Test agent-like-current-target (exec178): passed Test area-wrong-generating-type (exec179): passed Test unavailable-exception-trace (exec180): passed Test wrong-exp-attribute-type (exec181): passed Test wrong-dynamic-type (exec182): passed Test special-expanded-access (exec183): passed Test once-manifest-string (exec184): passed Test array-expanded-expanded (exec185): passed Test once-optimization (exec186): passed Test negative-hexadecimal (exec187): passed Test integer-overflow-type (exec188): failed Description: Result of integer operations with overflow should be truncated to original integer type. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec188/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 Expected result: Final status: completed Test global-once-feature (exec189): failed Description: Per-process once features Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec189/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 once-in-generic-class (exec190): failed Description: Once functions should return the same result regardless of generic derivation they are called from. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec190/tcf at line 197 Original text: compare exec_output_srm output Substituted text: compare exec_output_srm output Reason: files being compared do not have identical contents Test once-with-exception (exec191): failed Description: Once functions that raises exception during the first call should raise it next time it is called. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec191/tcf at line 354 Original text: compare exec_output_sm output Substituted text: compare exec_output_sm output Reason: files being compared do not have identical contents Test system-return-code (exec192): passed Test catch-stack-overflow (exec193): failed Description: Ensure that we can catch a stack overflow and finish gracefully. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec193/tcf at line 14 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test thread-assertion-monitoring (exec194): failed Description: Assertion monitoring in different threads should not interfer. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec194/tcf at line 12 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 last-exception-after-call (exec195): passed Test inspect-on-character-interval (exec196): passed Test basic-type-conversion (exec197): passed Test bit-test-on-integer (exec198): passed Test creation-of-formal-redefined-attribute (exec199): passed Test anchor-argument-anchored-on-feature-or-formal (exec200): passed Test tuple-real-double (exec201): passed Test developer-exception-with-null (exec202): passed Test nested-expanded-copy (exec203): passed Test old-expressions-evaluated-when-they-should-not (exec204): passed Test manifest-array-waste-locals (exec205): passed Test like-current-generic-parameter (exec206): passed Test result-lost-in-manifest-arrays-tuples (exec207): passed Test expanded-type-intrinsic-feature (exec208): failed Description: Intrinsic features generated by compiler should work for expanded type too. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec208/tcf at line 31 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 once-manifest-string-in-once (exec209): passed Test external-redeclared-to-attribute (exec210): passed Test expanded-reattachment (exec211): passed Test bad-invariant-code-in-expanded (exec212): passed Test inherited-attribute-and-assigner (exec213): passed Test attribute-and-assigner-coupling (exec214): passed Test signed-unsigned-binary-operations (exec215): passed Test empty-once-function (exec216): passed Test inherited-expanded-generic (exec217): passed Test any-expanded-agent (exec218): failed Description: Test for an execution problem if we call create an agent with a type of any for an expanded type agent and call it. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec218/tcf at line 12 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 to-character-32-truncated (exec219): passed Test character-32-truncated (exec220): passed Test melted-dispose-panic (exec221): passed Test expanded-reverse-attachment (exec222): passed Test extended-agent-test (exec223): passed Test named-tuple-test (exec224): passed Test expanded-generic-use (exec225): passed Test generic-named-tuple (exec226): passed Test expanded-assignment-attempt (exec227): passed Test routine-valid-operands (exec228): passed Test double-clone (exec229): passed Test infix-power-taking-double (exec230): passed Test insert-expanded-in-list-of-any (exec231): passed Test modification-of-basic-variable (exec232): failed Description: Modification of a variable of a basic type should not lead to invalid code or cause a crash at run-time. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec232/tcf at line 10 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 assertion-inline-agents-with-locals (exec233): passed Test inlined-array (exec234): passed Test inline-agents-and-generics (exec235): passed Test inline-agents-reordering (exec236): passed Test inline-agent-manifest-expr (exec237): passed Test name-renaming-with-inline-agent-assertion (exec238): passed Test correct-vpir-violation (exec239): passed Test inline-agent-of-generic-type (exec240): passed Test agent-in-inherited-assertion (exec241): passed Test deferred-inline-agent (exec242): passed Test external-inline-agent (exec243): passed Test invariant-encapsulated-inline-agents (exec244): passed Test remove-fake-inline-agent-from-invariant (exec245): passed Test remove-feature-with-inline-agent (exec246): passed Test type-check-invariant-inline-agent (exec247): passed Test nan-min-max (exec248): passed Test agent-in-nested-call-failure (exec249): passed Test feature-only-referenced-by-dollar-op (exec250): passed Test dollar-op-to-deferred-feature (exec251): passed Test add-dollar-op-to-frozen-system (exec252): passed Test creation-information-lost (exec253): passed Test integer-constant-access (exec254): passed Test cloning-disable-gc-tracking (exec255): passed Test precursor-calling-itself (exec256): passed Test numeric-type-comparison (exec257): passed Test expanded-with-generics-in-generic-class (exec258): failed Description: An expanded generic class is used as an actual generic parameter of a generic class. Compilation crashes because formals of expanded generic class are not properly replaced. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec258/tcf at line 15 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 expanded-with-generics-failure (exec259): passed Test equality-on-expanded (exec260): passed Test inspect-int-nat-big-endian (exec261): passed Test anchor-on-feature-with-formal (exec262): passed Test generating-type-of-type-parameter (exec263): passed Test agent-on-attribute-with-open-target (exec264): passed Test generator-on-typed-pointer (exec265): passed Test feature-call-on-basic-generic (exec266): passed Test expanded-formal-attached-to-reference (exec267): passed Test tuple-with-basic-type (exec268): failed Description: Basic type passed into feature with ANY as formal parameter type cannot be used in agent with that basic type as open operand. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec268/tcf at line 10 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 signed-unsigned-in-inspect (exec269): passed Test mixed-basic-type-operations (exec270): passed Test wrong-agent-creation-type (exec271): passed Test expanded-derivation-reattachment (exec272): passed Test expanded-creation-semantics (exec273): passed Test agent-for-expanded-derivation (exec274): passed Test merging-feature-with-formal (exec275): passed Test entry-point-defined (exec276): failed Description: Checks the compiler defines an emtry point when specifying to compile all classes and a root class/creation routine Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec276/tcf at line 11 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test derivation-reverse-attachment (exec277): passed Test expanded-creation-correctness (exec278): failed Description: Check the number of times an expanded should be created through its creation procedure. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec278/tcf at line 13 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 special-base-address (exec279): passed Test default-create-not-called (exec280): passed Test not-equal-operator-failure (exec281): passed Test all-defaults-failure (exec282): passed Test clear-all-on-special (exec283): passed Test wrong-expanded-generic-type (exec284): passed Test wrong-polymorphic-call-with-select (exec285): failed Description: A routine called polymorphically calls the wrong version. And the called version depends on the order in which the parent clauses are written. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec285/tcf at line 53 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test wrong-formal-type-specification (exec286): passed Test conversion-for-tuple-assignment-crash (exec287): passed Test wrong-formal-type-local-initialization (exec288): passed Test wrong-finalized-invariant-check (exec289): passed Test wrong-optimization-of-as-attached (exec290): passed Test crash-on-divisible (exec291): failed Description: Calling `divisible' on basic type causes a segmentation violation. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec291/tcf at line 11 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 wrong-inherited-formal-type (exec292): passed Test access-by-label-on-void-tuple (exec293): passed Test self-init-attribute-non-void-safe (exec294): passed Test check-invariant-attached-by-default (exec295): passed Test self-init-attribute-void-safe (exec296): passed Test check-invariant-void-safe (exec297): passed Test out-wrong-for-natural-attribute (exec298): passed Test invariant-crash-with-attached-parent (exec299): passed Test deep-twin-expanded-type (exec300): passed Test attempt-on-type-none (exec301): failed Description: A system that calls {NONE}.attempt ("Weasel") gets a seg fault when executed Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec301/tcf at line 11 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 self-init-attribute-call-to-precursor (exec302): manual Test out-on-nan-violates-invariant (exec303): failed Description: Calling out on a REAL_64 that is NaN violates the class invariant sign_times_abs Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec303/tcf at line 11 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 operations-on-numeric-generic (exec304): failed Description: Arithmetic operations on an attribute of a generic type, where the generic is constrained by NUMERIC, give the wrong result for division when frozen (should be Nan but is not) or cause a panic (prefix +) when melted Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec304/tcf at line 12 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 expanded-object-test-infinite-recursion (exec305): manual Test expanded-generic-call-on-void-target (exec306): failed Description: Passing a TEST2 [INTEGER], where TEST2 is an expanded class, to a procedure with formal argument of type TEST2 [ANY] results in a call on Void target in a melted void-safe system when accessing an attribute of the instance of TEST2. Frozen code execution gives the correct result but also displays a seemingly spurious Catcall message. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec306/tcf at line 13 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 bogus-catcall-on-basic-type-agent (exec307): failed Description: A call to an agent whose return type is a basic type causes a seemingly spurious Catcall error to reported at runtime. The warning says "expected TUPLE but got TUPLE". Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec307/tcf at line 11 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 (Bad file descriptor) Expected result: Final status: completed Test conversion-from-basic-through-any (exec308): failed Description: A conversion from a basic type via a conversion procedure whose formal argument is of type ANY compiles fine when melted, frozen or finalized but system execution ends with a seg fault. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec308/tcf at line 12 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 expanded-object-test-creates-objects (exec309): failed Description: An object test `attached {XXX} exp' in a routine causes creation of objects of type XXX when the routine is called if XXX is an expanded type, but only in workbench mode. Finalized code works correctly. Creation of the objects occurs even if the object test is not executed. Execution error in file /Users/manus/local/eweasel/eweasel/tests/exec309/tcf at line 14 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test out-on-long-attribute-buffer-overflow (exec310): passed Test profile-with-invariant (exec311): passed Test small-eif-memory-scavenge (exec312): passed Test add-inheritance-cycle (term001): passed Test remove-root-creation-proc (term002): passed Test long-identifiers (term003): passed 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): passed 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): passed Test none-as-actual-generic2 (term018): passed Test expanded-client-cycle (term020): passed Test valid-weasel-bits (term022): passed Test function-returning-none (term023): passed Test bit-creation-type (term024): passed 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): passed Test root-none-creation-proc (term039): passed 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): passed 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): passed Test nested-manifest-array-feat-call (term054): passed 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 feature-address-in-invariant (term060): passed Test many-long-bit-constants (term061): passed Test manifest-array-at-sign (term062): passed Test non-windows-dll-external (term063): passed Test external-omit-signature-args (term064): passed Test finalize-big-inline-size (term065): passed Test finalize-inline-remove-dead (term067): passed Test too-many-signature-arguments (term069): passed Test very-long-token (term070): passed Test finalize-prefix-attribute (term071): passed Test finalize-deferred-feature-call (term072): passed Test finalize-array-opt-remove-dead (term073): passed Test finalize-inline-strip-expr (term074): passed Test assign-creation-expression (term075): passed Test explicit-bit-creation (term076): passed Test finalize-inline-array-expanded (term077): passed Test finalize-inline-small-classes (term078): passed Test simple-explicit-generic-create (term079): passed Test generic-constrained-by-tuple (term080): passed Test invariant-creation-expr (term081): passed 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 generic-creation-no-constraint (term087): passed Test none-delayed-call (term088): passed Test undef-external-call-precursor (term089): passed Test generic-delayed-call-result (term090): failed Description: A generic class has a function with a generic result type. If this function tries to reference the delayed call expression `Result~make', the compiler dies in degree 3. Execution error in file /Users/manus/local/eweasel/eweasel/tests/term090/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 TEST1 code NOT_SUPPORTED Final status: paused Expected result: Final status: completed Test creation-constrained-by-generic (term091): passed Test generic-constrained-by-none (term092): passed Test generic-constrained-by-self (term093): passed Test inherit-generic-and-any (term094): passed Test generic-constrained-by-integer (term095): passed Test finalize-inline-infix-external (term096): passed Test long-system-name (term098): failed Description: An Ace file that specifies a long system name (512 characters) causes the compiler to die after generation of auxiliary files with "file name too long". If the system is melted instead, the compiler does not die. Execution error in file /Users/manus/local/eweasel/eweasel/tests/term098/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: unknown Raw compiler output: Cannot create project directory in: /Users/manus/local/eweasel/eweasel/../test_dir/term098 You may try again after fixing the permissions. Expected result: Final status: completed Test external-c-plus-plus (term100): passed Test slash-in-cluster-tag (term101): passed Test finalize-missing-server-file (term102): passed Test precomp-lib-wrong-version (term103): manual Test generic-anchor-call-precursor (term104): passed Test temporary-bug-1 (term105): passed Test print-array-anchored-generic (term106): passed Test add-remove-vcch-freeze (term107): passed Test generic-static-constant (term108): passed Test static-call-on-none (term109): passed Test assign-attempt-manifest-array (term110): passed Test finalize-nested-if (term111): passed Test inherit-from-chain (term112): passed Test msil-generation-yes (term113): passed Test remove-formal-generic (term114): passed Test change-generic-create (term115): passed Test change-sysname-and-root (term116): passed Test inline-numeric-plus-numeric (term117): passed Test finalize-many-expanded-attrs (term118): passed Test remove-constraint-veen-die (term119): passed Test inspect-big-range (term120): skipped Test expanded-like-current-vlec (term121): passed Test creation-expr-anchor-none (term122): passed Test assign-address-expr (term123): passed Test agent-open-operand-none (term124): passed Test finalize-if-false (term125): passed Test unreachable-visible-generic (term126): passed Test manifest-array-to-array-conformance (term127): passed Test infinite-loop-expanded-generics (term128): manual Test create-generic-result-any (term129): passed Test inline-routine-with-formal-conversion (term130): passed Test finalize-manifest-array-with-anchor (term131): passed Test anchored-generic-like-type (term132): passed Test dynamic-generic-type (term133): passed Test address-of-expanded-attribute (term134): passed Test unary-on-formal (term135): passed Test multiple-replicated-once (term136): passed Test unknown-manifest-constant-type (term137): passed Test invalid-constant-in-iterval-list (term138): passed Test special-conformance (term139): passed Test generic-renamed-in-expanded (term140): passed Test agent-on-feature-with-like-argument (term141): passed Test separate-panic (term142): passed Test creation-expression-in-inherited-assertion (term143): failed Description: When a creation expression is used in an inherited assertion the compiler would crash while generating the C code. Execution error in file /Users/manus/local/eweasel/eweasel/tests/term143/tcf at line 14 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test inspect-using-static-procedure (term144): passed Test constraint-type-comparison (term145): passed Test missing-actual-generic-crash (term146): passed Test actual-generic-none-crash (term147): passed Test complex-generics-crash (term148): passed Test agent-with-anchor-crash (term149): passed Test expanded-generic-crash (term150): passed Test integer-like-constant (term151): passed Test qualified-call-on-procedure-failure (term152): passed Test crash-for-redefined-feature-with-wrong-anchor (term153): passed Test agent-return-type-crash (term154): passed Test nested-like-code-generation-crash (term155): passed Test assertion-regeneration-crash (term156): failed Description: A routine which has in its signature a like argument calling a query in its precondition that has a like argument too causes the compiler to crash. Execution error in file /Users/manus/local/eweasel/eweasel/tests/term156/tcf at line 9 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 fault) Expected result: Final status: completed Test vkcn-error-reporting-failure (term157): passed Test invalid-case-crash (term158): passed Test conversion-in-closed-argument-crash (term159): passed Test formal-generic-creation-crash (term160): passed Test array-with-anchor-crash (term161): passed Test crash-when-calling-out-on-a-formal (term162): passed Test bad_formal_types (term163): passed Test crash-in-conversion-clause (term164): passed Test crash-in-checking-inherited-code (term165): passed Test catcall-and-full-class-checking (term166): passed Test single-constraint-with-renaming-crash (term167): passed Test inline-agent-with-attribute-body (term168): failed Description: Compiling a class with an inline agent with an "attribute" body causes the compiler to crash in degree 3. Execution error in file /Users/manus/local/eweasel/eweasel/tests/term168/tcf at line 9 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 fault) Expected result: Final status: completed Test self-init-attribute-returning-current (term169): passed Test self-init-attribute-crash (term170): passed Test keyword-in-multi-constraint-generic-crash (term171): failed Description: A generic class with a multi-constrained generic whose list of constraining types includes a keyword (such as "precursor" or "Current") causes the compiler to crash Execution error in file /Users/manus/local/eweasel/eweasel/tests/term171/tcf at line 10 Original text: compile_result syntax_error TEST1 5 Substituted text: compile_result syntax_error TEST1 5 Reason: actual compilation result does not match expected result Actual result: Final status: aborted system_failed had_exception () Expected result: Syntax error in class TEST1 at line 5 Final status: paused Test catcall-crash-is-covariant-to (term172): failed Description: A small set of class compiled with catcall detection enabled crashes the compiler in {EXTERNAL_FUNC_I}.is_covariant_to Execution error in file /Users/manus/local/eweasel/eweasel/tests/term172/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: Final status: aborted system_failed had_exception (Segmentation fault) Expected result: Final status: completed Test conversion-query-constant-attribute (term173): failed Description: A conversion query that converts to an INTEGER and is implemented as a constant INTEGER attribute crashes the compiler with a call on Void target in {BYTE_CODE_FACTORY}.to_type_byte_code Execution error in file /Users/manus/local/eweasel/eweasel/tests/term173/tcf at line 10 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 fault) Expected result: Final status: completed Test create-generic-constrained-by-none (term174): failed Description: A generic class whose formal generic parameter G is constrained by NONE does `create Result' in a function of type G. This causes the compiler to crash in {AST_FEATURE_CHECKER_GENERATOR}.process_abstract_creation due to a call on Void target. Execution error in file /Users/manus/local/eweasel/eweasel/tests/term174/tcf at line 10 Original text: compile_result validity_error TEST2 V??? Substituted text: compile_result validity_error TEST2 V??? Reason: actual compilation result does not match expected result Actual result: Final status: aborted system_failed had_exception () Expected result: Validity error in class TEST2 code V??? Final status: paused Test create-constrained-generic-crash (term175): failed Description: A generic class whose formal generic parameter G is constrained by HASH_TABLE [ANY, DOUBLE] and that has a generic creation constraint creates an attribute of type G. If the actual generic is HASH_TABLE [DOUBLE, DOUBLE] the compiler crashes. Execution error in file /Users/manus/local/eweasel/eweasel/tests/term175/tcf at line 10 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 () Expected result: Final status: completed Test remove-syntax-error-crash (term176): passed Test argument-anchors-formal-crash (term177): passed Test small-eif-stack-chunk (term178): skipped Test inherit-inline-agent-with-formal (term179): passed Test config-override (config001): passed Test config-debug-disabled (config002): passed Test config-quick-melt-override (config003): passed Test config-target-extends-itself (config004): passed Test config-remove-library (config005): passed Test config-debugs (config006): passed Test config-rename-change (config007): passed Test config-missing-name-attribute (config008): passed Test config-override-crash (config009): passed Test config-system-name-with-space (config010): passed Test config-class-file-name-mismatch (config011): passed Test config-root-class-file-name-mismatch (config012): passed Test config-class-file-name-mismatch-2 (config013): passed Test config-class-file-name-update (config014): passed Test config-library-options-redefinition (config015): passed Test config-library-options-setting (config016): passed Test lace-no-cluster-props (lace003): passed Test lace-no-creation-proc (lace007): passed Test lace-empty-include-exclude (lace011): passed Test chg-cluster-name (lace014): passed Test remove-unneeded-cluster (lace015): passed Test root-cluster-case-sensitive (lace016): passed Test class-named-none (lace021): passed 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 /Users/manus/local/eweasel/eweasel/tests/lace022/tcf at line 15 Original text: compile_result validity_warning NONE ???? Substituted text: compile_result validity_warning NONE ???? Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error code ???? Final status: completed Test lace-debug-key-subset (lace024): passed Test visible-cluster-case-sensitive (lace025): passed 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 /Users/manus/local/eweasel/eweasel/tests/lace029/tcf at line 20 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): passed Test void-gets-void (ccomp001): passed 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 /Users/manus/local/eweasel/eweasel/tests/ccomp002/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: Syntax error in class TEST at line 14 Final status: paused Expected result: Final status: completed Test weird-operator-feat-name2 (ccomp003): passed 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): passed Test finalize-expanded-return-type (ccomp019): passed Test finalize-expanded-ext-creation (ccomp020): passed 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): passed 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 finalize-deferred-delayed-call (ccomp034): passed Test address-of-generic-attribute (ccomp035): passed Test address-of-default-rescue (ccomp036): passed Test inline-prefix-call (ccomp037): passed Test finalize-prefix-constant (ccomp038): passed Test frozen-real-constant (ccomp039): passed Test c-header-mismatch (ccomp040): passed Test generic-create-double (ccomp041): passed Test minus-minus-real (ccomp042): passed Test c-header-mismatch-2 (ccomp043): passed Test finalize-precomp-no-dead (ccomp044): passed Test finalize-ext-exp-inline-create (ccomp045): passed Test inline-c-ten-pass-local (ccomp046): passed Test inline-c-arg-prefix-other (ccomp047): passed Test pass-void-to-double (ccomp048): passed Test slash-power-on-formal-bad-code (ccomp049): passed Test print-pointer-local-address (ccomp050): passed Test inline-expanded-conversion (ccomp051): passed Test create-generic-conform-double (ccomp052): passed Test long-string-generation (ccomp053): passed Test inline-incorrect-with-cpp (ccomp054): passed Test polymorphic-dollar-agent-incorrect-wrapper (ccomp055): passed Test bad-macro-wrapping (ccomp056): passed Test bad-boolean-inline (ccomp057): passed Test agent-on-constant-attribute (ccomp058): passed Test add-generic-c-compile-failure (ccomp059): passed Test last-reverse-assignment-to-expanded (ccomp060): passed Test adding-removing-classes-c-compile-error (ccomp061): passed Test once-manifest-string-in-cpp-file (ccomp062): passed Test feature-call-via-cecil (ccomp063): failed Description: Calls to Eiffel features using CECIL in different modes should be supported. Execution error in file /Users/manus/local/eweasel/eweasel/tests/ccomp063/tcf at line 54 Original text: compare exec_output_w output10 Substituted text: compare exec_output_w output10 Reason: files being compared do not have identical contents Test deferred-to-string-constant (ccomp064): passed Test built-in-unary-plus (ccomp065): failed Description: A generic class with a multi-constrained formal is derived with DOUBLE. The unary plus of NUMERIC is renamed into something else and `out' is rename into the new unary plus. This causes a C compilation error Execution error in file /Users/manus/local/eweasel/eweasel/tests/ccomp065/tcf at line 11 Original text: c_compile_result ok Substituted text: c_compile_result ok Reason: actual C compilation result does not match expected result Actual result: failure C_compilation_not_completed Expected result: no_failure C_compilation_completed Test expanded-generic-conformance-c-bad-finalization (ccomp066): passed Test once-global-procedure-c-failure (ccomp068): passed Test line-generation-finalize-bug (ccomp069): passed Test code-formatting (ccomp070): passed Test assign-attempt-on-basic-type (ccomp071): passed Test polymorphic-feature-address-bad-code (ccomp072): passed Test agent-with-like-bad-declaration (ccomp073): passed Test expanded-generic-wrong-c-with-multiple-ancestor (ccomp074): passed Test missing-undef-c-compiler-error (ccomp075): passed Test missing-protection-in-inline-c-code (ccomp076): passed Test bad-c-code-from-argument-anchor (ccomp077): failed Description: An Eiffel routine is using a function whose result type depend on the argument. When the argument is a basic type it generates code that cannot be compiled. Execution error in file /Users/manus/local/eweasel/eweasel/tests/ccomp077/tcf at line 11 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 bad-c-code-on-debug-clause (ccomp078): passed Test missing-makefile-for-precompile (ccomp079): failed Description: No makefile is created for a precompile when the configuration file specifies all_classes="true". This causes C compilation to fail. Execution error in file /Users/manus/local/eweasel/eweasel/tests/ccomp079/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 bad-c-code-from-argument-anchor-2 (ccomp080): failed Description: An Eiffel routine is using a function whose result type depends on the argument. When the argument is a basic type frozen code gives incorrect results and finalized code generates C code that won't compile. Execution error in file /Users/manus/local/eweasel/eweasel/tests/ccomp080/tcf at line 24 Original text: compare exec_output_w output Substituted text: compare exec_output_w output Reason: files being compared do not have identical contents Test bad-c-code-for-expanded-definition (ccomp081): passed Test expanded-generic-object-test (ccomp082): failed Description: An object test `{a: TEST1 [DOUBLE]} x' in an expanded generic class where `x' is an attribute of type G causes generation of C code that won't compile. Execution error in file /Users/manus/local/eweasel/eweasel/tests/ccomp082/tcf at line 20 Original text: c_compile_result ok Substituted text: c_compile_result ok Reason: actual C compilation result does not match expected result Actual result: failure C_compilation_not_completed Expected result: no_failure C_compilation_completed Test c-header-mismatch-3 (ccomp083): passed Test large-real-constant-c-compile-failure (ccomp084): failed Description: A system that prints the value of a real or double constant that is too large to be represented generates C code that won't compile. Execution error in file /Users/manus/local/eweasel/eweasel/tests/ccomp084/tcf at line 13 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test freeze-retrieval-mismatch (store001): passed Test retrieve-corrupted-file (store002): failed Description: A class tries to retrieve an object which was stored into a file using `independent_store'. If the file contents is manually modified to delete a character (to simulate a corrupted file), the retrieve operation goes into an infinite loop. Execution error in file /Users/manus/local/eweasel/eweasel/tests/store002/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: silent_failure Expected result: Final status: completed Test melt-retrieval-mismatch (store003): passed Test melted-retrieve-list-expanded (store004): passed Test store-tuple-integer (store005): passed Test store-generic-reference-class-used-as-expanded (store006): passed Test various-storable-format-testing (store007): passed Test missing-type-retrieval (store008): passed Test store-expanded-as-reference (store009): passed Test store-expanded-class-type (store010): failed Description: There is an issue with storing class type that has an explicit expanded mark. Execution error in file /Users/manus/local/eweasel/eweasel/tests/store010/tcf at line 12 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 tuple-57-unretrievable (store011): failed Description: A tuple object stored in 5.7 cannot be retrieved by later version. Execution error in file /Users/manus/local/eweasel/eweasel/tests/store011/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 Expected result: Final status: completed Test retrieve-corrupted-file-thread-freezes (store012): passed Test storable-formats (store013): failed Description: Check that we can retrieve old storable formats without any problem. Execution error in file /Users/manus/local/eweasel/eweasel/tests/store013/tcf at line 42 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 storable-formats-2 (store014): passed Test retrieve-mismatch-serialization-failure (store015): passed Test storable-formats-3 (store016): failed Description: Retrieve a storable from version 5.4 or older could crash the runtime upon retrieval. Execution error in file /Users/manus/local/eweasel/eweasel/tests/store016/tcf at line 19 Original text: compare exec_output output Substituted text: compare exec_output output Reason: files being compared do not have identical contents Test storable-with-attached-type (store017): passed Test storable-with-attached-type-by-62 (store018): failed Description: Trying to store/retrieve a storable with attached type with a modified version of 6.2 that does not recognize attachment mark. Execution error in file /Users/manus/local/eweasel/eweasel/tests/store018/tcf at line 20 Original text: compare exec_output output Substituted text: compare exec_output output Reason: files being compared do not have identical contents Test storable-with-attached-type-1 (store019): passed Test storable-with-attached-type-by-63 (store020): failed Description: Trying to store/retrieve an old storable with 6.3 causes a mismatch where none is expected. Execution error in file /Users/manus/local/eweasel/eweasel/tests/store020/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 storable-removing-attachment-marks (store021): passed Test store-expanded-class-type-2 (store022): 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): failed Description: Calling routine `start' of UNIX_FILE (from class FILE) on an open file which has zero characters causes violation of precondition `is_readable' of `readchar'. Execution error in file /Users/manus/local/eweasel/eweasel/tests/lib001/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 Expected result: Final status: completed Test string-copy-valid-count (lib002): passed Test file-copy-to (lib003): failed Description: Routine `copy_to' in FILE does not work correctly if file which is target of call is not positioned at beginning of file. Execution error in file /Users/manus/local/eweasel/eweasel/tests/lib003/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 putenv-with-null (lib004): passed Test append-empty-arrayed_list (lib005): passed Test string-incorrect-hash-code (lib006): passed Test ptf-file-go (lib007): failed Description: Call `go' Execution error in file /Users/manus/local/eweasel/eweasel/tests/lib007/tcf at line 14 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 ptf-file-move (lib008): failed Description: Call `move' on ptf file Execution error in file /Users/manus/local/eweasel/eweasel/tests/lib008/tcf at line 13 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 ptf-file-nextline (lib009): failed Description: Test `next_line' in ptf file Execution error in file /Users/manus/local/eweasel/eweasel/tests/lib009/tcf at line 13 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 ptf-file-file-append (lib010): failed Description: Test appending contents of one ptf file to another Execution error in file /Users/manus/local/eweasel/eweasel/tests/lib010/tcf at line 14 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test ptf-file-position (lib011): failed Description: Call `position' on ptf file Execution error in file /Users/manus/local/eweasel/eweasel/tests/lib011/tcf at line 14 Original text: if UNIX compare exec_output1 output_unix Substituted text: if UNIX compare exec_output1 output_unix Reason: files being compared do not have identical contents Test ptf-file-read-character (lib012): failed Description: Test `read_character' on ptf file Execution error in file /Users/manus/local/eweasel/eweasel/tests/lib012/tcf at line 14 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test ptf-file-read-stream (lib013): failed Description: Test `read_stream' on ptf file Execution error in file /Users/manus/local/eweasel/eweasel/tests/lib013/tcf at line 14 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test ptf-file-recede (lib014): failed Description: Test `recede' Execution error in file /Users/manus/local/eweasel/eweasel/tests/lib014/tcf at line 14 Original text: if UNIX compare exec_output1 output_unix Substituted text: if UNIX compare exec_output1 output_unix Reason: files being compared do not have identical contents Test ptf-file-start (lib015): failed Description: Test `start' Execution error in file /Users/manus/local/eweasel/eweasel/tests/lib015/tcf at line 14 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test ptf-file-read-line (lib016): failed Description: Test `read_line' Execution error in file /Users/manus/local/eweasel/eweasel/tests/lib016/tcf at line 14 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test ptf-file-back (lib017): failed Description: Call `back' Execution error in file /Users/manus/local/eweasel/eweasel/tests/lib017/tcf at line 14 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test ptf-file-close (lib018): passed Test ptf-file-count (lib019): failed Description: Call `count' Execution error in file /Users/manus/local/eweasel/eweasel/tests/lib019/tcf at line 14 Original text: if UNIX compare exec_output1 output_unix Substituted text: if UNIX compare exec_output1 output_unix Reason: files being compared do not have identical contents Test ptf-file-create (lib020): passed Test ptf-file-extend (lib021): failed Description: Call `extend' Execution error in file /Users/manus/local/eweasel/eweasel/tests/lib021/tcf at line 14 Original text: if UNIX compare exec_output1 output_unix Substituted text: if UNIX compare exec_output1 output_unix Reason: files being compared do not have identical contents Test ptf-file-finish (lib022): failed Description: Call `finish' Execution error in file /Users/manus/local/eweasel/eweasel/tests/lib022/tcf at line 14 Original text: if UNIX compare exec_output1 output_unix Substituted text: if UNIX compare exec_output1 output_unix Reason: files being compared do not have identical contents Test ptf-file-forth (lib023): failed Description: Call `forth' Execution error in file /Users/manus/local/eweasel/eweasel/tests/lib023/tcf at line 14 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test file-change-name (lib024): failed Description: Test proper behavior of `change_name' in FILE. Execution error in file /Users/manus/local/eweasel/eweasel/tests/lib024/tcf at line 14 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 file-read-xxx-routines (lib025): failed Description: Test proper behavior of the `read_xxx' routines in FILE. Execution error in file /Users/manus/local/eweasel/eweasel/tests/lib025/tcf at line 11 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 ptf-file-forth-2 (lib026): failed Description: Test proper behavior of the `forth' routine in FILE. `forth' must be able to set `after', or `search' will get into infinite loop. Execution error in file /Users/manus/local/eweasel/eweasel/tests/lib026/tcf at line 12 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test ptf-read-number-routines (lib027): failed Description: Test proper behavior of the `read_xxx' routines in FILE where xxx is either natural, integer or double. Execution error in file /Users/manus/local/eweasel/eweasel/tests/lib027/tcf at line 11 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 es-encoding-conversion (lib028): failed Description: Test various encoding conversions EiffelStudio uses through the encoding library, excluding those will be choosable by users in the editor. Execution error in file /Users/manus/local/eweasel/eweasel/tests/lib028/tcf at line 11 Original text: c_compile_result ok Substituted text: c_compile_result ok Reason: actual C compilation result does not match expected result Actual result: failure C_compilation_not_completed Expected result: no_failure C_compilation_completed Test ptf-read-number-routines-2 (lib029): failed Description: Test proper behavior of the `read_xxx' routines in FILE where xxx is either natural, integer or double. Execution error in file /Users/manus/local/eweasel/eweasel/tests/lib029/tcf at line 13 Original text: compare exec_output output Substituted text: compare exec_output output Reason: files being compared do not have identical contents Test file-type-queries-wrong (lib030): failed Description: A call to queries such as {FILE}.is_socket returns the wrong answer in many cases Execution error in file /Users/manus/local/eweasel/eweasel/tests/lib030/tcf at line 14 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test file-append-not-thread-safe (lib031): passed Test tuple-manipulation (tuple001): passed Test named-tuple-validation (tuple002): passed Test named-tuple-as-argument (tuple003): passed Test tuple-hashcode (tuple004): failed Description: Computation of TUPLE hashcode on .NET would crash. Execution error in file /Users/manus/local/eweasel/eweasel/tests/tuple004/tcf at line 11 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test tuple-comparison (tuple005): passed Test tuple-twining (tuple006): passed Test named-tuple-assignment (tuple007): passed Test named-tuple-same-labels (tuple008): passed Test named-tuple-same-labels-crash (tuple009): passed Test internal-tuple-creation (tuple010): passed Test tuple-creation-crash (tuple011): passed Test wrong-label-in-inheritance (tuple012): passed Test wrong-label-in-generics (tuple013): passed Test wrong-manifest-tuple-type (tuple014): passed Test attached-tuple-element-validity (tuple015): passed Test tilde-on-basic-type (tilde001): passed Test tilde-on-expanded-type (tilde002): passed Test tilde-on-formal-type (tilde003): passed Test validity-vsrt1-one-generic (vsrt101): passed Test validity-vsrt1-two-generics (vsrt102): passed Test validity-vsrt1-many-generics (vsrt103): passed Test validity-vsrt1-add-generics (vsrt104): passed Test validity-vsrt1-new-root (vsrt105): passed Test validity-vsrt1-zero-generics (vsrt106): passed Test validity-vsrt2-vsrp2-ok (vsrt201): passed Test validity-vsrt3-deferred-root (vsrt301): passed Test validity-vsrt3-chg-deferred (vsrt302): passed Test validity-vsrp2-no-arguments (vsrp201): passed Test validity-vsrp2-one-good-arg (vsrp202): passed Test validity-vsrp2-one-conform-arg (vsrp203): passed Test validity-vsrp2-one-bad-arg (vsrp204): passed Test validity-vsrp2-many-arguments (vsrp205): passed Test validity-vsrp2-bad-then-good (vsrp206): passed Test validity-vsrp2-two-procedures (vsrp207): passed Test validity-vsrp2-multi-procedures (vsrp208): passed Test validity-vscn-same-cluster (vscn001): passed Test validity-vscn-diff-cluster (vscn002): passed Test validity-vscn-add-class (vscn003): passed Test validity-vcch-add-del (vcch001): passed Test validity-vdjr2-basic (vdjr201): 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): passed Test validity-vcfg1-chg-generic (vcfg103): passed Test validity-vcfg2-basic (vcfg201): passed Test validity-vcfg2-root (vcfg202): passed Test validity-vcrn-basic (vcrn001): passed Test validity-vfav1-basic (vfav101): passed Test validity-vfav2-basic (vfav201): passed Test validity-vfav3-basic (vfav301): passed Test validity-vfav4-basic (vfav401): passed Test validity-vffd1-attribute (vffd101): passed 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-vmfn2-basic (vmfn201): 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): passed 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 validity-vuex2-in-multibranch (vuex201): passed Test lace-vd01-basic (vd01001): passed Test lace-vd04-basic (vd04001): passed Test lace-vd10-basic (vd10001): passed Test lace-vd13-basic (vd13001): passed Test lace-vd16-basic (vd16001): 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-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): failed Description: Allocate a 1MB string then 2MB, etc. Execution error in file /Users/manus/local/eweasel/eweasel/tests/fixed008/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: silent_failure Expected result: Final status: completed Test inherit-index-small-enough (fixed010): passed Test creation-proc-function (fixed011): passed Test empty-free-operator (fixed012): passed Test class-name-confusion (fixed013): passed 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): failed Description: A creation instruction with an explicit creation type which is expanded (violates constraint VGCC3) Execution error in file /Users/manus/local/eweasel/eweasel/tests/fixed018/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: silent_failure Expected result: Final status: completed 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): failed Description: Execution of a Multi_branch with an Else_part whose Compound is empty Execution error in file /Users/manus/local/eweasel/eweasel/tests/fixed033/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 multi-branch-interval (fixed034): failed Description: A Multi_branch instruction with an interval executed after melting Execution error in file /Users/manus/local/eweasel/eweasel/tests/fixed034/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: silent_failure Expected result: Final status: completed Test conditional-empty-then (fixed035): failed Description: A Conditional with a true boolean expression and an empty Compound in a Then_part Execution error in file /Users/manus/local/eweasel/eweasel/tests/fixed035/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: silent_failure Expected result: Final status: completed Test repeated-rescue-panic (fixed036): failed Description: A routine repeatedly violates the precondition of a routine it calls and the caller has a rescue clause Execution error in file /Users/manus/local/eweasel/eweasel/tests/fixed036/tcf at line 21 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test creation-once-routine (fixed037): failed Description: A procedure which is a `once' routine is used as a creation procedure Execution error in file /Users/manus/local/eweasel/eweasel/tests/fixed037/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: silent_failure Expected result: Final status: completed Test cluster-modified-viol (fixed038): passed Test chg-class-to-nonexistent (fixed039): passed Test bit-any-no-conform (fixed040): failed Description: BIT type assigned to entity of type ANY Execution error in file /Users/manus/local/eweasel/eweasel/tests/fixed040/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: silent_failure Expected result: Final status: completed 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-invalid-root-name (fixed048): passed Test lace-nonexistent-options (fixed050): passed Test lace-null-class-name2 (fixed052): passed Test lace-null-class-name3 (fixed054): passed Test debug-with-keys (fixed055): failed Description: Debug instructions which have a parenthesized list of debug keys following the keyword `debug' should be executed when the Ace specifies `debug (yes)' Execution error in file /Users/manus/local/eweasel/eweasel/tests/fixed055/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: silent_failure Expected result: Final status: completed Test lace-remove-cluster (fixed056): passed Test change-debug-option (fixed057): failed Description: Change `debug ("1")' in Ace to `debug ("2")' Execution error in file /Users/manus/local/eweasel/eweasel/tests/fixed057/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: silent_failure Expected result: Final status: completed Test wrong-real-arithmetic (fixed058): failed Description: Arithmetic and comparison with REAL constants in a melted feature Execution error in file /Users/manus/local/eweasel/eweasel/tests/fixed058/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: silent_failure Expected result: Final status: completed Test bool-const-no-output (fixed059): failed Description: A call `print (True)' or `print (False)' Execution error in file /Users/manus/local/eweasel/eweasel/tests/fixed059/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: silent_failure Expected result: Final status: completed Test finalize-appl (fixed061): failed Description: Finalize a system Execution error in file /Users/manus/local/eweasel/eweasel/tests/fixed061/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: silent_failure Expected result: Final status: completed 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): passed Test time-checker-error (fixed069): failed Description: Delete all instructions from the body of the root creation procedure and recompile and rerun Execution error in file /Users/manus/local/eweasel/eweasel/tests/fixed069/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: silent_failure Expected result: Final status: completed Test intro-assign-rule-viol (fixed070): passed Test once-function-void (fixed071): failed Description: Once functions called more than once after melting Execution error in file /Users/manus/local/eweasel/eweasel/tests/fixed071/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: silent_failure Expected result: Final status: completed 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): failed Description: A debug instruction with key "WEASEL" here the Ace specifies `debug ("weasel")' Execution error in file /Users/manus/local/eweasel/eweasel/tests/fixed078/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: silent_failure Expected result: Final status: completed 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): passed 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): failed Description: A procedure which prints out some real and double constants after melting Execution error in file /Users/manus/local/eweasel/eweasel/tests/fixed097/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: silent_failure Expected result: Final status: completed Test unknown-entity-type (fixed098): failed Description: A known sequence of changes causes a system execution-time PANIC with "unknown entity type" Execution error in file /Users/manus/local/eweasel/eweasel/tests/fixed098/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: silent_failure Expected result: Final status: completed 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): passed Test generic-expanded-client (fixed113): passed Test lace-opt-cluster-mark (fixed114): passed Test lace-assertion-option (fixed118): failed Description: Test assertion monitoring and debug instruction execution Execution error in file /Users/manus/local/eweasel/eweasel/tests/fixed118/tcf at line 21 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test lace-remove-cluster2 (fixed119): passed Test whip-that-ace (fixed120): passed Test concat-manifest-bit-array (fixed123): failed Description: Print concatenation of a manifest array of BIT constants Execution error in file /Users/manus/local/eweasel/eweasel/tests/fixed123/tcf at line 21 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test creation-generic-types-in-onces (fixed124): failed Description: Creation of a generic type in a once procedure fails because C local variable `dftype' is not initialized. Execution error in file /Users/manus/local/eweasel/eweasel/tests/fixed124/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: silent_failure Expected result: Final status: completed Test reference-assign-tuple-fail-gc (fixed125): failed Description: When an old TUPLE object is assigned a newly created object, performing a GC cycle will either crash while collecting, or not crash but reference in TUPLE object is not updated with new location of newly created object. Execution error in file /Users/manus/local/eweasel/eweasel/tests/fixed125/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: silent_failure Expected result: Final status: completed Test infix-inherited-assertions (fixed126): failed Description: When a generic class inherits a post-condition with an infix routine it fails at execution on a call on void target instead of satisfying the post-condition. Execution error in file /Users/manus/local/eweasel/eweasel/tests/fixed126/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: silent_failure Expected result: Final status: completed Test inline-special-infix-at (fixed127): failed Description: Inlining a call `special @ i' fails to generate correct code. Execution error in file /Users/manus/local/eweasel/eweasel/tests/fixed127/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: silent_failure Expected result: Final status: completed Test synonyms-with-indexing (fixed128): failed Description: Indexing clause should not cause compiler crash when used for synonyms. Execution error in file /Users/manus/local/eweasel/eweasel/tests/fixed128/tcf at line 10 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test elseif-with-compound (fixed129): passed Test attribute-in-inherited-assertion (fixed130): failed Description: Correct code should be generated for an inherited assertion that has a function redeclared into attribute. Execution error in file /Users/manus/local/eweasel/eweasel/tests/fixed130/tcf at line 11 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test external-inline-boolean (fixed131): failed Description: When an inlined external of a boolean type returned a value greater than 255 it was cut. I. e. 256 became 0. Execution error in file /Users/manus/local/eweasel/eweasel/tests/fixed131/tcf at line 13 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test class-name-in-multiline-string (fixed132): passed Test generic-constraint-to-none (fixed133): passed Test crash-degree-minus-1 (fixed134): passed Test roundtrip-test (rdtp001): failed Description: Tests for a bunch of eiffel classes, wether the round trip works or not Execution error in file /Users/manus/local/eweasel/eweasel/tests/rdtp001/tcf at line 25 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test roundtrip-number-denoted-character (rdtp002): failed Description: Tests for roundtrip parse to handle number denoted character correctly. Execution error in file /Users/manus/local/eweasel/eweasel/tests/rdtp002/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: silent_failure Expected result: Final status: completed Test supplier-preconditions (assert001): failed Description: tests the assertion monitoring for supplier preconditions Execution error in file /Users/manus/local/eweasel/eweasel/tests/assert001/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: silent_failure Expected result: Final status: completed Test use-application-options-assertions (assert002): failed Description: After disabling assertion checking on a library we force the library to use the settings of the project, but instead of reporting a precondition violation nothing is reported, that is to say not taking into accounts the config change. Execution error in file /Users/manus/local/eweasel/eweasel/tests/assert002/tcf at line 12 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test undefined-assertion-merge (assert003): failed Description: Inheriting assertions from an undefined routine should work when merged. Execution error in file /Users/manus/local/eweasel/eweasel/tests/assert003/tcf at line 13 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test multi-constraint-basics (multicon001): failed Description: Using COMPARABLE and NUMMERIC from base to implement a generic nummeric algorithm. Execution error in file /Users/manus/local/eweasel/eweasel/tests/multicon001/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 multi-constraint-creation (multicon002): failed Description: Testing the renaming for multi-constraint formal generics together with object creation. The three classes A,B and C are the constraints for a formal generic. Renaming is used to resolve the feature name conflicts for the creation routines. All other conflicts of the features which are not used are not resolved. After instanntiate the formal generic with all creation features occuring in the constraint. Execution error in file /Users/manus/local/eweasel/eweasel/tests/multicon002/tcf at line 26 Original text: compare exec_output1 output1 Substituted text: compare exec_output1 output1 Reason: files being compared do not have identical contents Test multi-constraint-renaming (multicon003): failed Description: This test executes a more complex prgoram using multi constraint formal generics. Thre is a semi complex inheritance hierarchy, constraints and their according renaming which test multi constraints in a broad manner. Execution error in file /Users/manus/local/eweasel/eweasel/tests/multicon003/tcf at line 25 Original text: compare exec_output1 output1 Substituted text: compare exec_output1 output1 Reason: files being compared do not have identical contents Test multi-constraint-inheritance (multicon004): failed Description: This is testing multi constraint formals by simulating a typical program using multi constraints: It checks that the right features are called and uses creation constraints. Execution error in file /Users/manus/local/eweasel/eweasel/tests/multicon004/tcf at line 26 Original text: compare melted_output1 output1 Substituted text: compare melted_output1 output1 Reason: files being compared do not have identical contents Test multi-constraint-assertions (multicon005): failed Description: Testing assertions which use multi-constrained formals. Execution error in file /Users/manus/local/eweasel/eweasel/tests/multicon005/tcf at line 35 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test multi-constraint-tuple (multicon006): failed Description: Testing multi-constraint formals inside of TUPLE instances. Execution error in file /Users/manus/local/eweasel/eweasel/tests/multicon006/tcf at line 19 Original text: compare melted_output1 output1 Substituted text: compare melted_output1 output1 Reason: files being compared do not have identical contents Test multi-constraint-anchor (multicon007): failed Description: Multi constrained formal generic servers as an anchor. Execution error in file /Users/manus/local/eweasel/eweasel/tests/multicon007/tcf at line 25 Original text: compare exec_output1 output1 Substituted text: compare exec_output1 output1 Reason: files being compared do not have identical contents Test multi-constraint-root (multicon008): failed Description: Using COMPARABLE and NUMMERIC from base as constraints for a formal generic parameter of the root type. So the root type it self is multi constraint. It prints the generating type of each instantiateion and checks all classic compilation modes. Execution error in file /Users/manus/local/eweasel/eweasel/tests/multicon008/tcf at line 20 Original text: compare melted_output1 output_integer_32_ref Substituted text: compare melted_output1 output_integer_32_ref Reason: files being compared do not have identical contents Test multi-constraint-agents (multicon009): failed Description: Using agents on features of multi constraint formal generic type parameter. Execution error in file /Users/manus/local/eweasel/eweasel/tests/multicon009/tcf at line 21 Original text: compare melted_output1 output_integer_32_ref Substituted text: compare melted_output1 output_integer_32_ref Reason: files being compared do not have identical contents Test multi-constraint-inline-agents (multicon010): failed Description: Using inline agents on features of multi constraint formal generic type parameter. Execution error in file /Users/manus/local/eweasel/eweasel/tests/multicon010/tcf at line 21 Original text: compare melted_output1 output_integer_32_ref Substituted text: compare melted_output1 output_integer_32_ref Reason: files being compared do not have identical contents Test multi-constraint-formal-creation-constraint (multicon011): failed Description: Checks convertibility to a generic which contains multi constraint generics. Execution error in file /Users/manus/local/eweasel/eweasel/tests/multicon011/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: silent_failure Expected result: Final status: completed Test multi-constraint-formal-heavy-renaming (multicon012): failed Description: This test checks the correct handling and binding of creation features in the multi constraint case. It does this by declaring G of TEST1 should have a feature `make_a' available for creation. G of TEST2 has A descendant B as a constraint which renamed his creation feature. None the less the creation constraint of TEST1 should be met by G of B. C inherits twice from B and renames/redefines one feature and selects the other. The selected feature should be called no matter how the names are. Execution error in file /Users/manus/local/eweasel/eweasel/tests/multicon012/tcf at line 15 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test multi-constraint-vtgc (multicon013): failed Description: Violating validity rule VTGC (generic cosntraint rule) Execution error in file /Users/manus/local/eweasel/eweasel/tests/multicon013/tcf at line 50 Original text: compare exec_output1 output1 Substituted text: compare exec_output1 output1 Reason: files being compared do not have identical contents Test multi-constraint-vtmc (multicon014): passed Test multi-constraint-vtgd (multicon015): passed Test multi-constraint-rename-conflict (multicon016): passed Test multi-constraint-non-existent-renamed (multicon017): passed Test multi-constraint-infix-renamed (multicon018): failed Description: Tests whether the renaming of infix features works for constraint types of a multi constrained formal generic. Execution error in file /Users/manus/local/eweasel/eweasel/tests/multicon018/tcf at line 12 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test multi-constraint-is-inherited (multicon019): passed Test multi-constraint-vtgd-create (multicon020): passed Test multi-constraint-add-gen-constraint (multicon021): passed Test multi-constraint-renaming1 (multicon022): passed Test multi-constraint-renaming2 (multicon023): passed Test multi-constraint-check-constraints (multicon024): passed Test multi-constraint-actual-type (multicon025): passed Test multi-constraint-rename-formal (multicon026): passed Test multi-constraint-creation-through-formal (multicon027): failed Description: This test checks whether it's possible to reference a creation procedure transparently through a formal. Execution error in file /Users/manus/local/eweasel/eweasel/tests/multicon027/tcf at line 20 Original text: compare exec_output1 output Substituted text: compare exec_output1 output Reason: files being compared do not have identical contents Test multi-constraint-abstract-creation (multicon028): passed Test multi-constraint-creation-crash01 (multicon029): passed Test multi-constraint-code-generation-crash01 (multicon030): passed Test multi-constraint-renamed-creation-feature (multicon031): passed Test multi-constraint-single-constraint-renaming (multicon032): failed Description: This test checks that creation constraint checks are made properly even if tricky renamings are present. It tests whether the compiler takes the right name for its check or not. Execution error in file /Users/manus/local/eweasel/eweasel/tests/multicon032/tcf at line 22 Original text: compare exec_output1 output1 Substituted text: compare exec_output1 output1 Reason: files being compared do not have identical contents Test multi-constraint-single-constraint-renaming2 (multicon033): passed Test multi-constraint-recursion-bug (multicon034): passed Test multi-constraint-nested-calls (multicon035): failed Description: This test reveals a bug in the multiconstraint handling of nested calls. Execution error in file /Users/manus/local/eweasel/eweasel/tests/multicon035/tcf at line 13 Original text: compare exec_output1 output1 Substituted text: compare exec_output1 output1 Reason: files being compared do not have identical contents Test multi-constraint-vtmc4 (multicon036): passed Test multi-constraint-tuples (multicon037): passed Test multi-constraint-tuples2 (multicon038): passed Test multi-constraint-rename-alias (multicon039): failed Description: Feature can get an alias as a result of renaming in formal generic constraint. Execution error in file /Users/manus/local/eweasel/eweasel/tests/multicon039/tcf at line 13 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test multi-constraint-assigner (multicon040): failed Description: Feature can get an assigner command as a result of renaming in formal generic constraint. Execution error in file /Users/manus/local/eweasel/eweasel/tests/multicon040/tcf at line 13 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test multi-constraint-recursive-generic (multicon041): passed Test multi-constraint-rename-clause-crash (multicon042): passed Test multi-constraint-order-affects-semantic (multicon043): passed Test multi-constraint-rename-to-infix (multicon044): passed Test multi-constraint-alias (multicon045): failed Description: Feature call on a formal generic type using an operator notation should be supported. Execution error in file /Users/manus/local/eweasel/eweasel/tests/multicon045/tcf at line 13 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test multi-constraint-constrained-twice (multicon046): passed Test multi-constraint-renaming-to-existing-feature (multicon047): passed Test multi-constraint-any-numeric-crash (multicon048): passed Test multi-constraint-parallel-renaming (multicon049): passed Test multi-constraint-alias-renamed (multicon050): passed Test multi-constraint-alias (multicon051): passed Test expanded-array-attached-reference-array (expanded001): failed Description: This test related to bug#11918. An array of expanded (DOUBLE) is attached to a reference array (ARRAY [ANY]). Calling features on this type causes the sytem to crash. Execution error in file /Users/manus/local/eweasel/eweasel/tests/expanded001/tcf at line 12 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test expanded-reverse-assignment (expanded002): failed Description: This test related to bug#12658. Several reverse assignments are performed and unexpected results are reported. Execution error in file /Users/manus/local/eweasel/eweasel/tests/expanded002/tcf at line 12 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test array-of-user-defined-expanded (expanded003): failed Description: This test is related to bug#11569. A user defined expanded class has several user defined expanded classes as attributes. Creating an array of this class is reported to crash the program at runtime. Execution error in file /Users/manus/local/eweasel/eweasel/tests/expanded003/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: silent_failure Expected result: Final status: completed Test expanded-formal-multiconstraint (expanded004): failed Description: This test checks the proper handling of an expanded type in a multi constraint list. Execution error in file /Users/manus/local/eweasel/eweasel/tests/expanded004/tcf at line 13 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test expanded-formal-multiconstraint2 (expanded005): failed Description: This test checks the proper handling of an expanded type in a multi constraint list. Execution error in file /Users/manus/local/eweasel/eweasel/tests/expanded005/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: silent_failure Expected result: Final status: completed Test wrong-type-in-expanded-generic-in-generic (expanded006): failed Description: When a generic class is derived with an expanded generic type, all the references to any formal does not get the proper dynamic type. Execution error in file /Users/manus/local/eweasel/eweasel/tests/expanded006/tcf at line 14 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test complex-expanded-generic-inheritance-crash (expanded007): failed Description: Having an expanded class inherits from various generic class causes the compiler to crash or to generate bad code in .NET mode. Execution error in file /Users/manus/local/eweasel/eweasel/tests/expanded007/tcf at line 24 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test expanded-with-references-crash (expanded008): failed Description: Having an expanded class which refers to a reference that is used in locals/arguments in a system that does many GC collection could ended having the wrong reference after the GC cycle. Execution error in file /Users/manus/local/eweasel/eweasel/tests/expanded008/tcf at line 12 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test filename-classname-mismatch-warning (warn001): passed Test agent-optimization-failure (agent001): failed Description: When an agent is defined to return an ANY but is redefined in a descendant to return an expanded type the optimized code for the agent call is not properly done. Execution error in file /Users/manus/local/eweasel/eweasel/tests/agent001/tcf at line 14 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test agent-with-like (agent002): failed Description: When an agent is defined on a routine where one of the argument is an anchor, the compiler would crash while generating the address table. Execution error in file /Users/manus/local/eweasel/eweasel/tests/agent002/tcf at line 10 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test agent-with-basic (agent003): failed Description: When a routine taken an ANY and provided with a closed argument which is a basic type, the call simply fails. Execution error in file /Users/manus/local/eweasel/eweasel/tests/agent003/tcf at line 11 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test agent-crash (agent004): passed Test agent-too-many-arguments (agent005): passed Test incorrect-agent-type (agent006): failed Description: At runtime the compiler generates incorrect agent type when the type of the agent is bound to an anchor in a different class. Execution error in file /Users/manus/local/eweasel/eweasel/tests/agent006/tcf at line 13 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test agent-dotnet-failure (agent007): passed Test agent-on-tuple-label (agent008): failed Description: When an agent is defined as an open target which is a named TUPLE and that the routine being used for the agent is one of the labels, the compiler crashes. Execution error in file /Users/manus/local/eweasel/eweasel/tests/agent008/tcf at line 11 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test agent-on-with-attached-operands (agent009): failed Description: When an agent with an open operand which is attached, then the `valid_operands' call fail because we check the type of the actual argument against the attached version which is wrong since we are talking about object's type. Execution error in file /Users/manus/local/eweasel/eweasel/tests/agent009/tcf at line 11 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test agent-calling-attribute-with-formal-type (agent010): passed Test various-agent-creation-and-calls (agent011): failed Description: Various kind of agent creations and calls to ensure code generation is correct. Execution error in file /Users/manus/local/eweasel/eweasel/tests/agent011/tcf at line 14 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test print-large-pointer (platform001): failed Description: A procedure which prints out a large pointer value should not loose the upper part. Execution error in file /Users/manus/local/eweasel/eweasel/tests/platform001/tcf at line 10 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test object-test-semantics (attach001): failed Description: Object test should succeed and fail as expected. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach001/tcf at line 12 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test object-test-local-scope (attach002): failed Description: Object test local should be visible in "elseif" part of the conditional instruction. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach002/tcf at line 10 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test like-current-object-test-no-defaults (attach003): failed Description: Uses like Current with an explict attached type mark, no using any attached type or void-safe defaults Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach003/tcf at line 10 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test object-test-with-local-use-failure (attach004): passed Test current-is_attached-no-defaults (attach005): passed Test anchored-attached-type-failure-no-defaults (attach006): passed Test attached-formal-generic (attach007): failed Description: Explicitly attached formal generic should conform to a plain one. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach007/tcf at line 11 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test object-test-in-invariant (attach008): failed Description: Object tests use in invariants should generate correct code. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach008/tcf at line 10 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test attached-basic-type (attach009): failed Description: Explicitly attached formal generic should conform to a plain one. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach009/tcf at line 10 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test attached-generic-type-conformance (attach010): passed Test correct-attached-predicate-precedence-semantics (attach011): failed Description: Ensures using and then with object tests does not evaluate anything after the prior test, if it fails Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach011/tcf at line 12 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test object-test-chain (attach012): failed Description: Successive object tests should be supported. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach012/tcf at line 10 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test object-test-code-generation (attach013): failed Description: Code generation for object test should preserve the semantics. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach013/tcf at line 10 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test read-only-void-test-in-assertion (attach014): failed Description: Read-only void test scope should be correctly handled in assertions. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach014/tcf at line 10 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test scope-after-combined-expression (attach015): failed Description: If an expression that starts void-safe scope of an entity is combined by a conjunctive or disjunctive expression, the scope should still can be applied. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach015/tcf at line 10 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test anchored-object-test-local (attach016): failed Description: Anchored object test local should be considered attached either in void-safe and non-void-safe contexts. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach016/tcf at line 12 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test object-test-in-assertion (attach017): passed Test object-test-finalization-crash (attach018): passed Test object-test-invariant-any-to-expanded (attach019): failed Description: An object test in a routine and invariant to ensure a test can take an ANY and convert it to an expanded. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach019/tcf at line 11 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test detached-type-target-conversion (attach020): failed Description: Ensures conversion is accepted when using explict detached mark on the target type. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach020/tcf at line 10 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 VUAR(2) Final status: paused Expected result: Final status: completed Test explicit-attached-formal-conformance (attach021): passed Test attached-external-check (attach022): failed Description: Results of external features have to be checked if they are attached as expected. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach022/tcf at line 14 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test attached-wrong-initialization (attach023): failed Description: An empty routine returing `like Current' without creating its result automaticall call `default_create' even if it is not an attached type or if `default_create' is not a valid creation procedure. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach023/tcf at line 10 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test attached-like-feature-formal-crash (attach024): passed Test attached-formal-constraint (attach025): passed Test attached-attribute-init (attach026): failed Description: Ensures the multitude of ways self-initializing attributes can be initialized. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach026/tcf at line 11 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test redefine-attached-attribute-init (attach027): failed Description: Attributes can be redefined as self-initialized attributes and vice-versa. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach027/tcf at line 12 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test generic-attached-attribute-init (attach028): failed Description: Ensures a generic class with a creation constration self-initializes generic attached attributes. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach028/tcf at line 11 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test full-void-safe-compilation (attach029): passed Test attribute-init-code-generation-correct (attach030): failed Description: Ensures detection of non initialized (for code generation) inherited attached attributes are caught during a compilation Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach030/tcf at line 12 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test parent-attribute-init (attach031): failed Description: Ensures parent attribute initialization is taken into account Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach031/tcf at line 12 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test like-current-is-detached (attach032): passed Test attached-type-creation-internal (attach033): failed Description: Using attachment mark to create types via INTERNAL should work. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach033/tcf at line 14 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test anchored-generic-carries-attachment (attach034): passed Test object-test-in-precondition (attach035): passed Test default-in-special-access (attach036): failed Description: Access to an item set to default for reference attached type should trigger an exception while `is_default' should return `True'. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach036/tcf at line 10 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test attached-type-set-in-conditional (attach037): passed Test object-test-local-same-lower-name (attach038): failed Description: A routine has two object test locals with the same lower name. The compiler should report a VUOT(3) error but does not Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach038/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: silent_failure Expected result: Final status: completed Test void-safe-inherited-precursor (attach039): failed Description: Precursor in a void-safe mode should cause a compiler crash if the feature is inherited. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach039/tcf at line 13 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test object-test-not-visible-to-old-express (attach040): passed Test current-in-self-init-attribute (attach041): passed Test agent-attached-by-default (attach042): failed Description: Agents are not attached by default in void-safe code Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach042/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: silent_failure Expected result: Final status: completed Test empty-agent-argument-attached-by-default (attach043): passed Test attached-type-attribute-attachment (attach044): failed Description: If you use {INTERNAL}.set_reference_field you need to make sure you violate the precondition if the argument is Void and attribute's type is attached. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach044/tcf at line 11 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test attached-inherited-argument (attach045): passed Test attribute-initialization-in-rescue (attach046): passed Test argument-type-correct (attach047): failed Description: At runtime the type of the root class argument should be ARRAY [!STRING_8] and not just ARRAY [?STRING_8] which causes a catcall as users usually simply write ARRAY [STRING_8] in void-safe mode with attached by default. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach047/tcf at line 11 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test operator-undetected-call-on-void-target (attach048): failed Description: A system uses operator but the compiler fails to detect a call on Void target. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach048/tcf at line 9 Original text: compile_result validity_error TEST VEVI; TEST1 VUTA(2) VUAR(2) VUTA(2) VWOE VUTA(2) VUTA(2) VUTA(2) VUTA(2) VUTA(2) VUTA(2) VWOE VWOE Substituted text: compile_result validity_error TEST VEVI; TEST1 VUTA(2) VUAR(2) VUTA(2) VWOE VUTA(2) VUTA(2) VUTA(2) VUTA(2) VUTA(2) VUTA(2) VWOE VWOE Reason: actual compilation result does not match expected result Actual result: Validity error in class TEST code VEVI Validity error in class TEST1 code VWOE Validity error in class TEST1 code VWOE Final status: paused Expected result: Validity error in class TEST code VEVI Validity error in class TEST1 code VUAR(2) Validity error in class TEST1 code VUTA(2) Validity error in class TEST1 code VUTA(2) Validity error in class TEST1 code VUTA(2) Validity error in class TEST1 code VUTA(2) Validity error in class TEST1 code VUTA(2) Validity error in class TEST1 code VUTA(2) Validity error in class TEST1 code VUTA(2) Validity error in class TEST1 code VUTA(2) Validity error in class TEST1 code VWOE Validity error in class TEST1 code VWOE Validity error in class TEST1 code VWOE Final status: paused Test scope-with-non-boolean-operator (attach049): failed Description: Non-boolean operator does not set the object test scope. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach049/tcf at line 8 Original text: compile_result validity_error TEST VUTA(2); TEST VUTA(2) Substituted text: compile_result validity_error TEST VUTA(2); TEST VUTA(2) Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VUTA(2) Validity error in class TEST code VUTA(2) Final status: paused Test vevi-missed-for-once-routine (attach050): passed Test detach-to-attach-assignment (attach051): passed Test same-object-test-local-failure (attach052): failed Description: When using the same object test local name, the code should work properly. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach052/tcf at line 11 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test various-object-tests (attach053): failed Description: Verifying that at runtime object tests work. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach053/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: silent_failure Expected result: Final status: completed Test recursive-once-function-call-on-void-target (attach054): failed Description: A call to a recursive once function causes a call on Void target when system is executed, when compiled in void-safe mode Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach054/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: silent_failure Expected result: Final status: completed Test bogus-vevi-when-inherit-expanded (attach055): failed Description: A class that inherits from an expanded class causes the compiler to report a VEVI error on feature `default' from ANY. This must be wrong since `default' is frozen, so there is no way to fix the error. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach055/tcf at line 11 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 VEVI Final status: paused Expected result: Final status: completed Test stable-attribute-redeclaration (attach056): passed Test stable-attribute-caps (attach057): passed Test void-safety-level (attach058): passed Test voidness-cap-in-assertion (attach059): failed Description: CAPs of read-only entities apply to stable attributes. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach059/tcf at line 12 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test like-current-void-safety (attach060): passed Test object-test-in-inherited-assertions (attach061): failed Description: Object tests inherited in both pre- and postconditions should not cause a compiler crash. Execution error in file /Users/manus/local/eweasel/eweasel/tests/attach061/tcf at line 11 Original text: execute_result ok Substituted text: execute_result ok Reason: actual execution result does not match expected result Actual result: Final status: silent_failure Expected result: Final status: completed Test detaching-attached-variable-in-loop (attach062): passed Test void-assigned-to-stable-attribute (attach063): passed Test void-assigned-to-object-test-with-create (attach064): passed Test object-test-code-generation (attach065): passed Test basic-conformance (conform001): passed Test formal-conformance (conform002): passed Test catcall-checking-conformance (conform003): passed Test tuple-conformance-broken (conform004): passed Test reverse-assignment-on-attached-target-broken (conform005): passed Test manifest-tuple-type-conformance (conform006): failed Description: If you have a manifest tuple using manifest expressions, the type of the actual parameter should be attached at run-time. Execution error in file /Users/manus/local/eweasel/eweasel/tests/conform006/tcf at line 24 Original text: compare exec_output_2 output Substituted text: compare exec_output_2 output Reason: files being compared do not have identical contents Test attached-agent-procedure-conformance (conform007): passed Test attached-formal-creation (conform008): passed Test basic-type-internal (reflection001): passed Test basic-type-internal-violation (reflection002): passed Test tuple-insertions-assertions (dotnet002): passed Test copy-infinite-recursion (dotnet003): passed Test dotnet-nested-constant-access (dotnet004): passed Test multithreaded-once-routine (dotnet005): failed Description: Once routines are by default per-thread rather than per-process Execution error in file /Users/manus/local/eweasel/eweasel/tests/dotnet005/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 Expected result: Final status: completed Test is_equal-on-generic-class-fails (dotnet010): passed Test dotnet-inherit-new-array-type (dotnet014): passed Test none-usage-in-internal-type-comparison (dotnet015): passed Test dotnet-replicated-standard_twin (dotnet017): passed Test property-accessor-name-clash (dotnet029): passed Test inline-agent-of-descendant (dotnet030): passed Test deferred-class-inherit-dotnet (dotnet031): passed Test assertion-evaluation-order (dotnet033): passed Test pointer-to-external-expanded (dotnet034): passed Test real-output-no-locale (dotnet036): passed Test replicated-from-generic-type (dotnet050): passed Test implicit-type-cause-crash-on-cast (dotnet051): passed Test anchored-creation-crash (dotnet108): passed Test object-test-assertion-crash (dotnet109): passed Test dotnet-polymorphism (dotnet110): passed Test dotnet-special-handling-crash (dotnet112): passed Passed: 1608 / 2073 (78%) Failed: 443 / 2073 (22%) Manual: 17 / 2073 (1%) Skipped: 5 / 2073 (1%)