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

Bug 611

Summary: Error in handling double-comparison in guards
Product: UPPAAL Reporter: Peter Gjøl Jensen <pgj>
Component: EngineAssignee: Marius Mikučionis <marius>
Status: ASSIGNED ---    
Severity: normal CC: adavid
Priority: P5    
Version: 4.1.20   
Hardware: PC   
OS: Linux   
Architecture:
Attachments: Model provocating the error

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.