PR# 17678 Violation of precondition `is_readable' of {RAW_FILE}.read_stream
Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2011/06/18
Class: Bug
Severity: Serious
Number: 17678
Release: 7.0.86747
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.9.1.8) Gecko/20100226 Firefox/3.5.8
OpenSolaris on x86
Synopsis: Violation of precondition `is_readable' of {RAW_FILE}.read_stream
Description
A particular sequence in a workbench estudio causes violation of
precondition `is_readable' of {RAW_FILE}.read_stream. Trace attached.
To Reproduce
Start estudio and open existing project (root class TEST). In Editor, select all text in TEST. Type Backspace to delete selected text. Click on Save. Select Clickable view in Editor. Select Basic Text view in Editor. Estudio crashes with precondition violation.
Problem Report Interactions