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

Bug 394 - CAUGHT EXCEPTION: getDeclaredRanges
Summary: CAUGHT EXCEPTION: getDeclaredRanges
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: libutap (show other bugs)
Version: 4.0.5
Hardware: All All
: P2 normal
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2007-02-20 17:19 CET by Marius Mikučionis
Modified: 2007-05-13 18:10 CEST (History)
0 users

See Also:
Architecture:


Attachments
model producing type exception (4.51 KB, text/xml)
2007-02-20 17:20 CET, Marius Mikučionis
Details

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