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

Bug 375 - Array assignments not accepted
Summary: Array assignments not accepted
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.0.2
Hardware: All All
: P1 normal
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2006-11-27 17:43 CET by Alexandre David
Modified: 2006-12-22 16:41 CET (History)
0 users

See Also:
Architecture:

Attachments
Example with a = b in a function and in an update. (964 bytes, text/xml)
2006-11-27 17:44 CET, Alexandre David 		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 Alexandre David 2006-11-27 17:43:51 CET 
Array assignments of the form x = y when x and y are compatible arrays work in the update fields but are not accepted inside functions.
Comment 1 Alexandre David 2006-11-27 17:44:39 CET 
Created attachment 127 [details]
Example with a = b in a function and in an update.
Comment 2 Gerd Behrmann 2006-12-11 15:42:40 CET 
Fixed on the 4.0 branch from rev. 2851.
Comment 3 Gerd Behrmann 2006-12-22 16:41:35 CET 
Was fixed on the trunk a long time ago. Resolving bug.