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
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.