Bug: Run-Time Error assertions not identified in Stateflow state actions
| Submitted | Product | Status | ||
|---|---|---|---|---|
| 2026-01-09 | Reactis for Simulink | Resolved in 2025.2.1 (released Jan 19, 2026; release notes) | ||
|
For Stateflow diagrams using the MATLAB action language, for actions within states (but not actions on transitions) Reactis fails to identify run-time error assertions. For such assertions, the circled check mark in the lower right corner of the state was missing and the assertion was not listed in reports or summary statistics. | ||||