When trying to open the specification with 1000 locations (in attachment), the window message appears: "Fatal error: Server connection lost The server connection has been killed." Most probably the reason is some kind of buffer overflow, as reducing number of locations eliminates the problem.
Created attachment 34 [details] Specification causing problems
reassigning
Which OS do you use? I opened the model with 3.4.9 on my Mac and do not get a crash.
I used Windows XP and Linux with kernel 2.6 (marge machine) The message under Linux is "Could not connect to server"
I tried it on marge using version 3.4.9. Still no crash. Any further information you can give me?
I also used version 3.4.9 of Uppaal. The error does not occur immediately. The model is shown in Uppaal but when I try to click somewhere Uppaal does not react. It takes around 7s to show model and around 20s to show message that connection to server was lost. (on marge) When TRON is supplied with the same specification it ends with segmentation fault (uses 3.4.7 engine though). The core file indicates: "Process::buildProcess (this=0x8272608) at proc.cc:196" as the line where it fails.
Created attachment 35 [details] Specification not working on linux
The first specification does not work on Windows only. I submitted one that fails on linux. It has 3500 locations. Up to 3000 locations seems to work under linux. (before I got connection lost under Linux because of not having executable bit on executable - my fault)
Confirmed. Thanks for the new model.
Loading the model with verifyta causes a segfault. The problem also exists in 3.5.6.
A fix for 3.5.x has been checked in. Since I do not consider this a serious bug, I do not plan to fix it in 3.4.