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

Bug 297

Summary: No state selected in newly loaded trace.
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: GUIAssignee: Kim Algreen <algreen>
Status: RESOLVED FIXED    
Severity: minor CC: saulius
Priority: P2    
Version: 3.6 Alpha 5   
Hardware: All   
OS: All   
Architecture:

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.