Bug: Unreachable saturation target covered
| Submitted | Product | Status | ||
|---|---|---|---|---|
| 2018-05-24 | Reactis for Simulink | Resolved in 2017.2.2 (released Jun 27, 2018; release notes) Resolved in 2017.0.5 (released Jun 27, 2018; release notes) | ||
|
Under rare conditions, Reactis classifies saturation targets as unreachable even if they are reachable. This can happen if the input to a Sum block gets saturated when converting to the accumulator data type. Currently a min/max saturation target is considered unreachable if the sum can not exceed the output data type's range. This needs to be extended such that saturation events due to input conversion are taken into account. | ||||