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

Bug 613 - Combination of inline-if + doubles makes engine crash
Summary: Combination of inline-if + doubles makes engine crash
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.1.20
Hardware: PC Linux
: P5 normal
Assignee: Marius Mikučionis
URL:
Depends on:
Blocks:
 
Reported: 2016-09-27 00:59 CEST by Peter Gjøl Jensen
Modified: 2017-02-20 10:21 CET (History)
1 user (show)

See Also:
Architecture:


Attachments
Model describing various scenarios where the bug occurs. (1.47 KB, text/xml)
2016-09-27 00:59 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-09-27 00:59:09 CEST
Created attachment 292 [details]
Model describing various scenarios where the bug occurs.

If a function is specified as

double abs(double  x) {
    return (x < 0.0 ? -x : x);
}

the results are unpredictable, sometimes leading to engine-crash.
Comment 1 Marius Mikučionis 2017-02-20 10:21:11 CET
Works fine in 4.1.19, but broken in stratego (4.1.20)