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
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.0.6
Hardware: PC Linux
: P2 normal
Assignee: Alexandre David
Depends on:
Reported: 2008-05-02 12:01 CEST by Jacob Illum
Modified: 2009-08-07 17:24 CEST (History)
0 users

See Also:

Erroneous system (877 bytes, text/xml)
2008-05-02 12:02 CEST, Jacob Illum

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