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

Bug 155

Summary: Empty parameter in process assignment causes Uppaal to crach
Product: UPPAAL Reporter: Piotr Kordy <miles>
Component: libutapAssignee: Gerd Behrmann <behrmann>
Severity: major    
Priority: P2    
Version: 3.4.9   
Hardware: PC   
OS: All   
Attachments: Specification causing crash

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.