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

Bug 180

Summary:	Constant records are shown in variables window
Product:	UPPAAL	Reporter:	Saulius Pusinskas <saulius>
Component:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	minor
Priority:	P1
Version:	3.5.8
Hardware:	All
OS:	All
Architecture:

Description Saulius Pusinskas 2005-08-05 13:08:26 CEST

Non-structured constants are not shown in Simulator -> Variables window.
Structured constants are. These should be hidden as well since do not vary.

Comment 1 Gerd Behrmann 2005-08-05 20:26:58 CEST

Confirmed.

Comment 2 Gerd Behrmann 2005-11-08 10:03:31 CET

Fixed in CVS.