Bug: Tester is slow to analyze reachable targets
| Submitted | Product | Status | ||
|---|---|---|---|---|
| 2024-01-21 | Reactis for Simulink | Resolved in 2023.2.1 (released Mar 12, 2024; release notes) | ||
|
In models where a Stateflow chart contains an exponential number of paths to a junction, Tester appears to get stuck when analyzing reachable targets if Solver=z3. | ||||