Back to all issues

Issue 5587

Bug: Reactis incorrectly classifies target as unreachable


SubmittedProductStatus
2024-11-08Reactis for SimulinkResolved in 2024.0.3 (released Nov 21, 2024; release notes)
Resolved in 2023.2.5 (released Nov 21, 2024; release notes)

In some models, Reactis incorrectly classifies a coverage target as unreachable. Subsequently in Simulator or Tester Reactis produces a "bug: Covering unreachable target" message.