First Last Prev Next    No search results available      Search page      Enter new bug
Bug#: 440
Product:
Component:
Status: RESOLVED
Resolution: FIXED
Assigned To: Alexandre David <adavid@cs.aau.dk>
Hardware:
OS:
Version:
Priority:
Severity:
Reporter: Jacob Illum <illum@cs.aau.dk>
Add CC:
CC:
URL:
Summary:

Attachment Type Creator Created Size Actions
Erroneous system text/xml Jacob Illum 2008-05-02 12:02 877 bytes Details
Create a New Attachment (proposed patch, testcase, etc.) View All

Bug 440 depends on: Show dependency tree
Show dependency graph
Bug 440 blocks:
Votes: 0    Show votes for this bug    Vote for this bug

Additional Comments:







View Bug Activity   |   Format For Printing   |   XML   |   Clone This Bug

Description:   Opened: 2008-05-02 12:01 
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 From Jacob Illum 2008-05-02 12:02:19 ------- 
Created an attachment (id=205) [details]
Erroneous system

------- Comment #2 From Jacob Illum 2008-05-02 12:03:49 ------- 
Bug also reproducable in 4.1.0 version

------- Comment #3 From Alexandre David 2009-08-07 17:24:44 ------- 
Fixed in rev. 4373 (trunk) and 4375 (4.0.9).
First Last Prev Next    No search results available      Search page      Enter new bug