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