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: EngineAssignee: 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.