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

Bug 611 - Error in handling double-comparison in guards
Summary: Error in handling double-comparison in guards
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.1.20
Hardware: PC Linux
: P5 normal
Assignee: Marius Mikučionis
Depends on:
Reported: 2016-09-27 00:48 CEST by Peter Gjøl Jensen
Modified: 2017-02-20 10:14 CET (History)
1 user (show)

See Also:

Model provocating the error (1.31 KB, text/xml)
2016-09-27 00:48 CEST, Peter Gjøl Jensen

Note You need to log in before you can comment on or make changes to this bug.
Description Peter Gjøl Jensen 2016-09-27 00:48:24 CEST
Created attachment 290 [details]
Model provocating the error

When comparing two doubles in a guard, uppaal throws "Expression does not evaluate to a reference"

(Has been fixed in development branch stratego_2016_ndiscrete)
Comment 1 Peter Gjøl Jensen 2016-09-27 00:54:36 CEST
This only occurs when using != operator.