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   

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.