Bug: For some models Reactis Simulator or Tester hang during "Finding unreachable targets" phase
| Submitted | Product | Status | ||
|---|---|---|---|---|
| 2026-04-03 | Reactis for Simulink | Resolved in 2025.2.2 (released Jun 04, 2026; release notes) Resolved in 2025.0.4 (released Jun 04, 2026; release notes) | ||
|
The Z3 solver used for reachability analysis can get stuck and does not always honor the timeout given by the calling function. This can cause Reactis to hang while analyzing reachable targets. | ||||