Back to all issues

Issue 4068

Bug: Bug: can't convert IntInf value to ?


SubmittedProductStatus
2018-09-26Reactis for SimulinkResolved in 2018.0.1 (released Oct 05, 2018; release notes)
Resolved in 2017.2.3 (released Oct 05, 2018; release notes)

If a Stateflow context-sensitive constant (i.e. a number with a "c" suffix) is used in a min, max, multiply or divide operation where the other argument is a floating-point (single or double) type, Reactis produces the following bug:

interfaces/mwi/mwi-expr.sml, fromIntInf: can't convert IntInf value to ?