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

Bug 617

Summary: Simulator displaying discrete variable as continuous
Product: UPPAAL Reporter: Peter Gjøl Jensen <pgj>
Component: GUIAssignee: Marius Mikučionis <marius>
Status: ASSIGNED ---    
Severity: enhancement CC: adavid
Priority: P5    
Version: 4.1.20   
Hardware: PC   
OS: All   
Architecture:
Attachments: Model showing the problem

Description Peter Gjøl Jensen 2016-09-27 03:22:48 CEST
Created attachment 296 [details]
Model showing the problem

When observing a discrete expression like 

simulate 1 [<=10] {x, x > 5.0}

the plot displays a sloped for the expression x > 5.0.