trr#279

Specific Information
Revision #:
Software used:
eweasel
Test result:
Failed
Test Run Data
Data:

Test consumable-attribute-usage-in-eiffel (dotnet103): failed Description: Validates the consumer respects the declaration of EIFFEL_CONSUMABLE_ATTRIBUTE on assembly and types. Execution error in file C:\development60_eth\eweasel\tests\dotnet103\tcf at line 21 Original text: compile_result validity_error TEST VEEN Substituted text: compile_result validity_error TEST VEEN Reason: actual compilation result does not match expected result Actual result: Final status: completed Expected result: Validity error in class TEST code VEEN

Description:

The test failed on the third compilation step. The step was to check methods marked as non-consumable, in a type marked as being consumable, should not be consumed. See test#dotnet103.