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

Bug 44

Summary: (dot/period). protocol error
Product: UPPAAL Reporter: Ulrik Nyman <ulrik>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Status: ASSIGNED ---    
Severity: minor    
Priority: P3    
Version: 3.5.7   
Hardware: All   
OS: All   

Description Ulrik Nyman 2003-09-10 13:39:21 CEST
When writing a .(dot/period) by itself at the start of a line somewhere in the
declarations, the server will crash when performing a sytax check. This is
because the .(dot/period) symbol is used as a special symbol in the current
communication protocal between the GUI and the server.

This problem will be fixed with the new SOAP interface between the GUI and engine.
Comment 1 Gerd Behrmann 2003-09-11 17:21:08 CEST
This cannot be fixed without fixing the protocol (by introducing escape
sequences). Since we are working on a completely new version of the SOAP
protocol, I will assign this bug to Ulrik.
Comment 2 Ulrik Nyman 2003-09-21 13:44:34 CEST
This bug will be fixed with the introduction of SOAP protocol for the
communication between the GUI and the VerificationEngine.
Comment 3 Gerd Behrmann 2005-06-29 21:36:50 CEST
Reopening the bug for 3.5.
Comment 4 Gerd Behrmann 2005-07-02 18:56:36 CEST
I will try to fix this.