PR# 13127 Violation of postcondition `bridge_ok' of {EB_VISION_WINDOW}.screen_x
Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2007/06/13
Class: Bug
Severity: Serious
Number: 13127
Release: 6.0.69047
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.8.1.3) Gecko/20070321 Firefox/2.0.0.3
Solaris 10 on x86
Synopsis: Violation of postcondition `bridge_ok' of {EB_VISION_WINDOW}.screen_x
Description
When running the workbench version of estudio, if I move the main window while
other things are going on I often get a violation of postcondition
`bridge_ok' of {EV_VISION_WINDOW}.screen_x.
For example, if I compile a project and while compilation is
going on undock a window and dock it somewhere else in main window and then
move main window via title bar too quickly, this postcondition violation can
occur. It does not always occur, so it is probably timing-related.
Trace attached.
To Reproduce
Problem Report Interactions
I have now discovered that this can be easily reproduced on Solaris x86 (at least on a fairly fast machine), by simply moving the main window around very quickly.