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:	GUI	Assignee:	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.