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
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: libutap (show other bugs)
Version: 3.4.9
Hardware: PC All
: P2 major
Assignee: Gerd Behrmann
Depends on:
Reported: 2005-05-30 10:16 CEST by Piotr Kordy
Modified: 2005-06-17 20:13 CEST (History)
0 users

See Also:

Specification causing crash (714 bytes, text/xml)
2005-05-30 10:17 CEST, Piotr Kordy

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
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.