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

Bug 440 - Deducing range when functions return struct
Summary: Deducing range when functions return struct
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.0.6
Hardware: PC Linux
: P2 normal
Assignee: Alexandre David
URL:
Depends on:
Blocks:
 
Reported: 2008-05-02 12:01 CEST by Jacob Illum
Modified: 2009-08-07 17:24 CEST (History)
0 users

See Also:
Architecture:

Attachments
Erroneous system (877 bytes, text/xml)
2008-05-02 12:02 CEST, Jacob Illum 		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 Jacob Illum 2008-05-02 12:01:37 CEST 
The included very stripped model illustrates the following error:

When Uppaal tries to deduces the range of a variable in a struct, this will cause an com.uppaal.engine.ServerException. However, if the function call is removed and the struct is used directly, there is no error. Both functionalities are illustrated in the model.
Comment 1 Jacob Illum 2008-05-02 12:02:19 CEST 
Created attachment 205 [details]
Erroneous system
Comment 2 Jacob Illum 2008-05-02 12:03:49 CEST 
Bug also reproducable in 4.1.0 version
Comment 3 Alexandre David 2009-08-07 17:24:44 CEST 
Fixed in rev. 4373 (trunk) and 4375 (4.0.9).