Bug: Targets that depend on floating-point to integer conversion may be incorrectly marked as unreachable
| Submitted | Product | Status | ||
|---|---|---|---|---|
| 2024-05-14 | Reactis for Simulink | Resolved in 2023.2.3 (released Aug 23, 2024; release notes) | ||
|
Reactis may incorrectly show a target as unreachable if the reachability of the target depends on a signal that is the result of conversion from floating-point to integer. The issue has been observed with conversion that wraps around (attached model test_data_type_conversion_1.slx) and saturates (attached model test_data_type_conversion_2.slx). | ||||