PR# 17193 EiffelStudio compiler crashes when 'Result' is (incorrectly) referenced in 'ensure' clause
Problem Report Summary
Submitter: jefflclark
Category: EiffelStudio
Priority: Medium
Date: 2010/11/16
Class: Bug
Severity: Serious
Number: 17193
Release: 6 (6.6.8.3873 GPL Edition - linux-x86_64)
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.12) Gecko/20101026 SUSE/3.6.12-0.7.1 Firefox/3.6.12
Synopsis: EiffelStudio compiler crashes when 'Result' is (incorrectly) referenced in 'ensure' clause
Description
Complete description and EiffelStudio compiler trace are in attached file.
To Reproduce
See attached file.
Problem Report Interactions
Thank you for the report. This will be fixed in the final 6.7 release after rev#85122.