PR# 13175 Violation of precondition `valid' of {SD_TAB_STATE_ASSISTANT}.move_tab_to_zone

Delete ~/.es_wkbench directory.
Start workbench estudio and open existing project.
Undock Features window and position it in front of main window (in middle).
Undock zone with Output, Diagram window etc and dock in bottom half of
floating Features window.
Click and hold on title bar of entire window with Features in top half and
Output, Diagram etc in bottom half.  Move it to left and dock it with
   Clusters window.
Estudio crashes with precondition violation.
Trace attached.

This bug is fixed in revision#69312.

Thanks for your report.

For the record, I have reproduced this crash on Windows XP (using the 
intermediate release 69141).  It crashes in {SPECIAL}.overlapping_move
since assertions are not being monitored.  Again, in the final step you
need to make sure the outline box covers the entire Clusters window, not
just the left half of it, so that all of the tools (Features, Output, Diagram 
etc) would become tabs that are together with the Clusters tab, if it
did not crash.

Since this sequence does not involve moving anything fast and since the
problem is not dependent on timing (it crashes every time) or making the
main window really small, this really should be fixed before release, unless 
the fix is too complicated and risky at this late stage.

OK, I booted up Windows XP (I have dual boot with Solaris) and watched the
video.  Everything you did was correct except for the final step.
Instead of docking the floating zone in the left half of the Clusters window,
you need to dock it so that the outline box covers the entire Clusters window.
This should reproduce the problem.

My source code version is 69143. My installed Eiffel Studio version is 68843 which I got from Origo weekly releases.I can't reproduce bug#12955 neither. The reproduce video of bug#12955 is attached at that bug report also.
 
Attached is a 7 zip compressed format. I can't use zip format since the
compressed format will be much bigger. You can download 7 zip here:
http://www.7-zip.org/ I don't know whether 7 zip works fine on Unix systems.
Sorry. The video is AVI format. I don't know the tool to watch AVI video on Solaris so far. :P

Hmmm, still reproducible for me with rev 69141 (workbench mode estudio).
Can you tell me what tool to use to view your video on Solaris so that I can make
sure you're doing the same thing I'm doing?

When I run this with a finalized estudio (rev 69141 from the official
intermediate release), I instead get a seg fault in {SPECIAL}.overlapping_move,
which I believe is the same trace as bug#12955.  So I suspect this the same
bug as #12955.  Have you been able to reproduce that bug yet?

 

This problem is not reproduceable on my Solaris 10 32bits i386. Reproduce video attached. I have tested this problem on both JDS and CDE.

Attachments for problem report #13175