| Summary: | Simulate filters out too many points with float clock rate | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | Erik Ramsgaard Wognsen <erw> |
| Component: | Engine | Assignee: | Alexandre David <adavid> |
| Status: | NEW --- | ||
| Severity: | minor | ||
| Priority: | P5 | ||
| Version: | unspecified | ||
| Hardware: | PC | ||
| OS: | Linux | ||
| Architecture: | |||
| Attachments: | A simple system to illustrate the bug | ||
Created attachment 258 [details]
A simple system to illustrate the bug
|
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.