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

Bug 155 - Empty parameter in process assignment causes Uppaal to crach
Summary: Empty parameter in process assignment causes Uppaal to crach
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: libutap (show other bugs)
Version: 3.4.9
Hardware: PC All
: P2 major
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2005-05-30 10:16 CEST by Piotr Kordy
Modified: 2005-06-17 20:13 CEST (History)
0 users

See Also:
Architecture:

Attachments
Specification causing crash (714 bytes, text/xml)
2005-05-30 10:17 CEST, Piotr Kordy 		Details
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Piotr Kordy 2005-05-30 10:16:16 CEST 
Attached is the specification that causes Uppaal to crash instead of showing
syntax error.
Comment 1 Piotr Kordy 2005-05-30 10:17:32 CEST 
Created attachment 36 [details]
Specification causing crash
Comment 2 Gerd Behrmann 2005-06-02 18:16:30 CEST 
Confirmed.
Comment 3 Gerd Behrmann 2005-06-02 18:17:11 CEST 
Crash bug in 3.4 series is considered to be a major bug. Increasing severity.
Comment 4 Gerd Behrmann 2005-06-03 21:01:56 CEST 
The bug is in libutap.
Comment 5 Gerd Behrmann 2005-06-03 21:58:31 CEST 
A fix for this has been checked into CVS for 3.5. We need to backport libutap to 3.4 to get the fix into the 
stable release.
Comment 6 Gerd Behrmann 2005-06-17 20:13:02 CEST 
I have backported the latest libutap to the 3.4 tree. This should resolve the bug.