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

Bug 440

Summary: Deducing range when functions return struct
Product: UPPAAL Reporter: Jacob Illum <illum>
Component: EngineAssignee: Alexandre David <adavid>
Status: RESOLVED FIXED    
Severity: normal    
Priority: P2    
Version: 4.0.6   
Hardware: PC   
OS: Linux   
Architecture:
Attachments: Erroneous system

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