PR# 17111 Undocking toolbar and moving it around corner of window violates postcondition
Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2010/09/15
Class: Bug
Severity: Serious
Number: 17111
Release: 6.7.84378
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.9.0.10) Gecko/2009042715 Firefox/3.0.10
Solaris 10 on SPARC
Synopsis: Undocking toolbar and moving it around corner of window violates postcondition
Description
When running an assertion-enabled estudio, undocking a toolbar and moving the mouse pointer in a circle around one of the upper corners of the estudio main window, causes a crash with: ------------------------------------------------------------------------------- SD_WIDGET_TOOL_BAR set_item_size @7 an_item_width_assigned: <000000000B9BF098> (From EV_FIXED) Postcondition violated. Fail ------------------------------------------------------------------------------- Full trace attached.
To Reproduce
Problem Report Interactions