Back to all issues

Issue 5792

Bug: Bug "incoming transition N of M not found"


SubmittedProductStatus
2025-12-01Reactis for SimulinkResolved 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