Bug 247

Summary: Better transition labels in the simulator
Product: UPPAAL Reporter: Alexandre David <adavid>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: ASSIGNED ---    
Severity: enhancement CC: marius
Priority: P3    
Version: unspecified   
Hardware: All   
OS: All   

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.