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

Bug 297 - No state selected in newly loaded trace.
Summary: No state selected in newly loaded trace.
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.6 Alpha 5
Hardware: All All
: P2 minor
Assignee: Kim Algreen
Depends on:
Reported: 2006-03-19 10:43 CET by Gerd Behrmann
Modified: 2006-04-11 14:10 CEST (History)
1 user (show)

See Also:


Note You need to log in before you can comment on or make changes to this bug.
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.