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

Bug 575

Summary: GUI can not handle -inf value in limits
Product: UPPAAL Reporter: Wei Zhao <zhaow>
Component: GUIAssignee: Wei Zhao <zhaow>
Status: ASSIGNED ---    
Severity: normal CC: adavid
Priority: P5    
Version: unspecified   
Hardware: PC   
OS: Linux   
Architecture:

Description Wei Zhao 2014-09-26 01:34:53 CEST
Server can send the limits with '-inf' as value. But GUI can not parse it. GUI shows the error message 'Floating point value expected, not '-inf' when verifying the query 'simulate 1 [<=100] { D_A, Dp_A, D_R, Dp_R, M_A, A, R, M_R, C }' for model 'genosc-hybrid.xml' with tracing.
Comment 1 Marius Mikučionis 2014-10-06 08:00:21 CEST
This particular example is unstable with default integration step (it works with 0.0001) and hence the values explode to infinity. One is not supposed to get into infinity, thus the server should stop generating runs and complain with an error.