|Summary:||No state selected in newly loaded trace.|
|Product:||UPPAAL||Reporter:||Gerd Behrmann <behrmann>|
|Component:||GUI||Assignee:||Kim Algreen <algreen>|
|Version:||3.6 Alpha 5|
Description Gerd Behrmann 2006-03-19 10:43:22 CET
When loading a trace in the simulator, no element of the trace is selected and the list of enabled transitions and the variables panel is empty. Upon selecting the first element of the trace, the list of enabled transitions is initialised. However, the variable panel is still empty. The expected result would be to see the variables of the state.
Comment 1 Gerd Behrmann 2006-04-11 09:05:36 CEST
This is actually just a symptom of a more serious problem: If the transition in the list of enabled transitions is deselected, then clicking states in the trace (as opposed to transitions) will not update the state that is visualised in the simulator. Except for the fact that the first element is not selected upon loading a trace, this fault explaines the phenomenon described above.
Comment 2 Gerd Behrmann 2006-04-11 14:10:57 CEST
Fixed on the trunk from rev. 1711.