This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 377

Summary: crash when much mouse use in graphical editor
Product: UPPAAL Reporter: Judi Romijn <jromijn>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: ASSIGNED ---    
Severity: major    
Priority: P2    
Version: 4.0.3   
Hardware: PC   
OS: Linux   
Architecture:
Attachments: Uppaal model I was editing when uppaal crashed
The error report file

Description Judi Romijn 2006-12-15 13:51:38 CET 
I've had this happen a number of times with 4.0.2 so I installed the new 4.0.3 today and had the same happen within just 10 minutes of graphical editing.

The situation is as follows.
I'm running uppaal under linux (Fedora Core 3), I'm editing one of my templates (which is large, see attached), I'm editing an empty transition and adding a synchronisation label to it with paste (Ctrl-V) after I've cut (Ctrl-X) the label text from another transition. I've done the addition about three times, and then on closing the "Edit transition" window with "Ok" and moving to the next transition with the mouse, the Uppaal window disappears.

Please find below the output that I get in the terminal.
I will attach my xml Uppaal model separately. I was editing the Manager template.

Good luck, and let me know if you need more information!
And btw, I do _love_ the new features of Uppaal (have not used it in the past 6 years)!!

Cheers, Judi

23 localhost.localdomain> uppaal wlan_manager_agent.xml &
[1] 10247
24 localhost.localdomain> #
# An unexpected error has been detected by HotSpot Virtual Machine:
#
#  SIGSEGV (0xb) at pc=0xb1bd76c3, pid=10250, tid=2985905072
#
# Java VM: Java HotSpot(TM) Client VM (1.5.0_01-b08 mixed mode, sharing)
# Problematic frame:
# C  [libdcpr.so+0xb6c3]
#
# An error report file with more information is saved as hs_err_pid10250.log
#
# If you would like to submit a bug report, please visit:
#   http://java.sun.com/webapps/bugreport/crash.jsp
#
/home/jromijn/tools/uppaal-4.0.3/uppaal: line 14: 10250 Aborted java -jar $JAR -enginePath $ENGINE $*

[1]    Exit 134                      uppaal wlan_manager_agent.xml
24 localhost.localdomain>
Comment 1 Judi Romijn 2006-12-15 13:52:58 CET 
Created attachment 128 [details]
Uppaal model I was editing when uppaal crashed

I was editing the Manager template when Uppaal crashed.
Comment 2 Judi Romijn 2006-12-15 13:54:35 CET 
Created attachment 129 [details]
The error report file

That's the error report file generated by Java VM for the crash.
Comment 3 Gerd Behrmann 2006-12-15 14:01:49 CET 
Hi Judy - nice to hear that you like the new version ;-)

Could you please upgrade to the latest version of Java 5 (Java 5 update 10) or Java 6 (which I just noticed was released) and tell us if that resolves the problem.

This may very well be the same issue as described in bug 81. Since you experience a crash from the Java VM, rather than the Uppaal GUI, there is most likely not a lot we can do (workarounds at best).
Comment 4 Judi Romijn 2006-12-15 15:52:33 CET 
> Could you please upgrade to the latest version of Java 5 (Java 5 update 10) or
> Java 6 (which I just noticed was released) and tell us if that resolves the
> problem.

Did so, and until now indeed the problem seems to be solved. I installed the
jre1.6.0 self-extracting-installing rpm for linux.

If I get a new crash I will post it here.