|Summary:||Better transition labels in the simulator|
|Product:||UPPAAL||Reporter:||Alexandre David <adavid>|
|Component:||GUI||Assignee:||Gerd Behrmann <behrmann>|
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.