Bug 612

Summary: Doubles cannot be initialized with integer value
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   
Attachments: Model provocating the error

Description Peter Gjøl Jensen 2016-09-27 00:50:39 CEST
Created attachment 291 [details]
Model provocating the error

Double-variables cannot be initialized with integers,

double x = 10;

will give an error.