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

Bug 624

Summary: Error in GUI with huge double-values
Product: UPPAAL Reporter: Peter Gjøl Jensen <pgj>
Component: GUIAssignee: Marius Mikučionis <marius>
Status: ASSIGNED ---    
Severity: normal CC: adavid
Priority: P5    
Version: 4.1.20   
Hardware: PC   
OS: All   
Architecture:
Attachments: Model that provokes error in GUI with huge double values

Description Peter Gjøl Jensen 2016-10-27 06:01:12 CEST
Created attachment 303 [details]
Model that provokes error in GUI with huge double values

When using huge double-values, the engine returns these formatted as an exponent (eg 1.79769e+308). This is not accepted by the GUI.

See attached model - the GUI fails in the Concrete Simulator.