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

Bug 394

Summary: CAUGHT EXCEPTION: getDeclaredRanges
Product: UPPAAL Reporter: Marius Mikučionis <marius>
Component: libutapAssignee: Gerd Behrmann <behrmann>
Status: ASSIGNED ---    
Severity: normal    
Priority: P2    
Version: 4.0.5   
Hardware: All   
OS: All   
Architecture:
Attachments: model producing type exception

Description Marius Mikučionis 2007-02-20 17:19:16 CET 
syntax check produces an exception, please see the model attached.
Comment 1 Marius Mikučionis 2007-02-20 17:20:07 CET 
Created attachment 145 [details]
model producing type exception
Comment 2 Gerd Behrmann 2007-02-20 17:32:45 CET 
Confirmed.
Comment 3 Gerd Behrmann 2007-02-21 10:14:14 CET 
The problem applies to all platforms.
Comment 4 Gerd Behrmann 2007-02-21 10:19:15 CET 
Fixed on the 4.0 branch from rev. 2973.