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

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

See Also:

Example with a = b in a function and in an update. (964 bytes, text/xml)
2006-11-27 17:44 CET, Alexandre David

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.