Back to all issues

Issue 5532

Bug: "bug: wrong number of conditions in bExpr: expected ..., found ..." for Stateflow EML bitwise operator with MCC enabled


SubmittedProductStatus
2024-09-18Reactis for SimulinkResolved in 2024.0.2 (released Oct 28, 2024; release notes)

Reactis reports a bug when MCC is enabled and a Stateflow transition condition using the EML action language involves a bitwise operator, e.g. '|'. It appears that Reactis is treating this as a single condition in some places and as the logical OR of two conditions in other places, leading to an internal inconsistency.

There is no issue when using the C action language.