Bug: Bug "incoming transition N of M not found"
| Submitted | Product | Status | ||
|---|---|---|---|---|
| 2025-12-01 | Reactis for Simulink | Resolved in 2025.2.1 (released Jan 19, 2026; release notes) Resolved in 2025.0.3 (released Jan 19, 2026; release notes) Open in 2024.2.4 | ||
|
When enabling Simulator or running Tester, Reactis reports "Bug: incoming transition N of M not found" for integers N and M. The full message is: interfaces/mwi/mwi-reachability-generic.sml, getCombinedGuards: incoming transition N of M not found | ||||