Bug 385

Summary: display of local vectors
Product: UPPAAL Reporter: Thomas Chatain <chatain>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: ASSIGNED ---    
Severity: trivial    
Priority: P2    
Version: unspecified   
Hardware: PC   
OS: Linux   
Attachments: example for display of local vectors

Description Thomas Chatain 2006-12-22 10:50:21 CET
When a vector is declared locally in a process, the simulator of UPPAAL displays the values of its fields as
"vector[index] = value" instead of "Process.vector[index] = value", which may lead to amiguity, like in the attached example.
Comment 1 Thomas Chatain 2006-12-22 10:51:43 CET
Created attachment 134 [details]
example for display of local vectors
Comment 2 Gerd Behrmann 2006-12-27 23:29:44 CET
I have not been able to reproduce the reported problem. When opening your model in Uppaal 4.0.3, the simulator displays the local arrays like you would like them to be displayed.

Please elaborate.