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

Bug 624 - Error in GUI with huge double-values
Summary: Error in GUI with huge double-values
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 4.1.20
Hardware: PC All
: P5 normal
Assignee: Marius Mikučionis
URL:
Depends on:
Blocks:
 
Reported: 2016-10-27 06:01 CEST by Peter Gjøl Jensen
Modified: 2017-03-15 12:31 CET (History)
1 user (show)

See Also:
Architecture:


Attachments
Model that provokes error in GUI with huge double values (864 bytes, text/xml)
2016-10-27 06:01 CEST, Peter Gjøl Jensen
Details

Note You need to log in before you can comment on or make changes to this bug.
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.