When loading a particular model, The GUI reports 'Fatal error. Server connection
lost The server connection has been killed'
Created attachment 4 [details]
The Uppaal model which causes the error
A fix has been checked into CVS. The problem was in the error recovery for
In the testcase, the process instatiation section referred to an undeclared
identifier. In order to recover from this problem (i.e. continue parsing the
rest of the document), this resulted in an expression object, which referred to
a "NULL" symbol. The type checker would then crash when finding this NULL
symbol. The solution is to implicitly declare the missing identifier as a VOID
type (after producing an error message).
*** Bug 61 has been marked as a duplicate of this bug. ***