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

Bug 375

Summary: Array assignments not accepted
Product: UPPAAL Reporter: Alexandre David <adavid>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED FIXED    
Severity: normal    
Priority: P1    
Version: 4.0.2   
Hardware: All   
OS: All   
Architecture:
Attachments: Example with a = b in a function and in an update.

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.