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

Bug 247 - Better transition labels in the simulator
Summary: Better transition labels in the simulator
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: unspecified
Hardware: All All
: P3 enhancement
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2006-01-04 15:02 CET by Alexandre David
Modified: 2010-06-25 11:04 CEST (History)
1 user (show)

See Also:
Architecture:

Attachments
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-01-04 15:02:44 CET 
When several transitions can be chosen in the GUI with a 'select', the user
cannot see which values are until the transitions are taken. The labels in
the GUI should tell which values are taken. This is particularly relevant
for synchonizations on channels in arrays, eg, c[i]! where 'i' is (or is not)
taken from select. The MSC should also reflect this.
Comment 1 Gerd Behrmann 2006-03-19 17:41:09 CET 
I think Alexandre is refering to the list of enabled transition in  the simulator.