Bug 183

Summary: Hyphens in process name cause exceptions
Product: UPPAAL Reporter: Timothy Bourke <tbourke>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Severity: minor    
Priority: P4    
Version: 3.4.11   
Hardware: All   
OS: All   

Description Timothy Bourke 2005-08-19 07:35:07 CEST
Uppaal 3.4.11 (not in Bugzilla version list), linux binaries on FreeBSD with
source build jdk-1.5.

1) Start Uppal
2) Rename only process template to: P-1
3) Choose "Check Syntax" from the File menu.
4) First error message: "CAUGHT EXCEPTION: attempt to create string with null
5) Click OK
6) Choose "Check Syntax" from the File menu.
5) Second error message: "Fatal error: Broken pipe
   The server connection has been killed."

The error message is unhelpful in finding the problem source (particularly in a
larger model).
Comment 1 Gerd Behrmann 2005-08-19 09:36:52 CEST
Confirmed. Also applies to 3.5.
Comment 2 Gerd Behrmann 2005-08-21 17:30:46 CEST
A fix for 3.5 has been checked in.
Comment 3 Gerd Behrmann 2005-11-06 17:39:39 CET
I consider this low priority for 3.4. Since it has been fixed in 3.5 and 3.5 alpha 1 will be released next 
week, I will simply resolve this bug as fixed.