Bug 549

Summary: Simulate filters out too many points with float clock rate
Product: UPPAAL Reporter: Erik Ramsgaard Wognsen <erw>
Component: EngineAssignee: Alexandre David <adavid>
Status: NEW ---    
Severity: minor    
Priority: P5    
Version: unspecified   
Hardware: PC   
OS: Linux   
Attachments: A simple system to illustrate the bug

Description Erik Ramsgaard Wognsen 2013-04-11 20:06:24 CEST
Tested in UPPAAL 4.1.14 (rev. 5212)

In the attached system (which combines an urgent edge with a "nonsense" guard), the simulation plot should connect three points with this query:

simulate 1 [<=1] {a}

The points are (0, 0), (1.0E-9, 1.0E-9), and (1, 1.0E-9). However, when I change the rate in location On from "a' == 1" to "a' == 1.0", the middle one of these three points are skipped and the plot shows a sloped line instead.
Comment 1 Erik Ramsgaard Wognsen 2013-04-11 20:06:51 CEST
Created attachment 258 [details]
A simple system to illustrate the bug