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

Bug 616

Summary: Doubles are not handled correctly in guards
Product: UPPAAL Reporter: Peter Gjøl Jensen <pgj>
Component: EngineAssignee: Marius Mikučionis <marius>
Status: ASSIGNED ---    
Severity: enhancement CC: adavid
Priority: P5    
Version: 4.1.20   
Hardware: PC   
OS: Linux   
Architecture:
Attachments: Probability of reaching E should be non-zero.

Description Peter Gjøl Jensen 2016-09-27 01:13:20 CEST
Created attachment 295 [details]
Probability of reaching E should be non-zero.

In the attached model, doubles are used to create the interval [2.1, 2.3]. Even though eventually satisfied, the engine reports that it is not.

(Has been fixed in development branch stratego_2016_ndiscrete)
Comment 1 Marius Mikučionis 2017-02-20 16:04:12 CET
The fix has been released in stratego-4.1.20-4