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

Bug 549 - Simulate filters out too many points with float clock rate
Summary: Simulate filters out too many points with float clock rate
Status: NEW
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: unspecified
Hardware: PC Linux
: P5 minor
Assignee: Alexandre David
URL:
Depends on:
Blocks:
 
Reported: 2013-04-11 20:06 CEST by Erik Ramsgaard Wognsen
Modified: 2013-04-11 20:06 CEST (History)
0 users

See Also:
Architecture:

Attachments
A simple system to illustrate the bug (906 bytes, text/xml)
2013-04-11 20:06 CEST, Erik Ramsgaard Wognsen 		Details
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this 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