Bug: Reachability analysis may revert to using limited solver support when there is no issue with the solver
| Submitted | Product | Status | ||
|---|---|---|---|---|
| 2026-06-19 | Reactis for Simulink | Resolved in 2026.0.1 (released Oct 30, 2026; release notes) Resolved in 2025.2.3 (released Oct 30, 2026; release notes) Open in 2025.0.4, 2024.2.4 | ||
|
When enabling Simulator or running Tester, the backend may be restarted using the legacy solver interface because reachability analysis in the backend has not sent a life sign within the maximum possible solver time. This ensures that an issue with the solver does not prevent reachability analysis from completing. However, a delay may occur in during reachability analysis (due to a Delay block with > 50,000 steps) that is not related to the solver causing a delay between life signs that results in the legacy solver being used. | ||||