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

Bug 575 - GUI can not handle -inf value in limits
Summary: GUI can not handle -inf value in limits
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: unspecified
Hardware: PC Linux
: P5 normal
Assignee: Wei Zhao
Depends on:
Reported: 2014-09-26 01:34 CEST by Wei Zhao
Modified: 2014-10-06 08:00 CEST (History)
1 user (show)

See Also:


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