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

Bug 183 - Hyphens in process name cause exceptions
Summary: Hyphens in process name cause exceptions
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.4.11
Hardware: All All
: P4 minor
Assignee: Gerd Behrmann
Depends on:
Reported: 2005-08-19 07:35 CEST by Timothy Bourke
Modified: 2005-11-06 17:39 CET (History)
0 users

See Also:


Note You need to log in before you can comment on or make changes to this bug.
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.