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

Bug 385 - display of local vectors
Summary: display of local vectors
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: unspecified
Hardware: PC Linux
: P2 trivial
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2006-12-22 10:50 CET by Thomas Chatain
Modified: 2006-12-27 23:29 CET (History)
0 users

See Also:
Architecture:

Attachments
example for display of local vectors (494 bytes, text/xml)
2006-12-22 10:51 CET, Thomas Chatain 		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 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.