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>
Created attachment 128 [details] Uppaal model I was editing when uppaal crashed I was editing the Manager template when Uppaal crashed.
Created attachment 129 [details] The error report file That's the error report file generated by Java VM for the crash.
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).
> 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.