Reactis V2023.2.1, V2023.0.3

March 12, 2024

Dear Reactis User:

Reactis® V2023.2.1 and V2023.0.3 are now available.

Reactis V2023.2.1

The following bugs were fixed since V2023.2:

"Error: Syntax error in transition label" for some Stateflow® charts using arrays of buses (#5333)
Reactis reports "Error: Ensure outport is virtual option currently not supported" for some outports in virtual subsystems (#5338)
Some targets on inner transition incorrectly marked as unreachable (#5340)
In some cases, Tester is slow to analyze reachable targets (#5345)
Reactis GUI crashes when setting a breakpoint in a linked Reactis for C (#5348)
rsRsiAddStateflowUserTargetExpression adds objectives outside of selected state (#5356)
Location string returned by rsRsiGetObjectiveParameterValue contains hidden system names (#5353)
Can not disable option "Keep MATLAB running" (#5361)
Stateflow® state names containing comments produce "not a valid identifier" error in Reactis (#5363)
In Embedded MATLAB®, min and max return wrong value if vector input has nan as first element (#5366)

The following bugs were fixed since V2023.0.2:

In Embedded MATLAB®, min and max return wrong value if vector input has nan as first element (#5366)
Stateflow® state names containing comments produce "not a valid identifier" error in Reactis (#5363)
Location string returned by rsRsiGetObjectiveParameterValue contains hidden system names (#5353)
rsRsiAddStateflowUserTargetExpression adds objectives outside of selected state (#5356)
"Error: Syntax error in transition label" for some Stateflow® charts using arrays of buses (#5333)

Reactis is a registered trademark of Reactive Systems, Inc. Stateflow and MATLAB are registered trademarks of MathWorks, Inc.

You may download the patches or full installers from the Reactis User Pages.

Best Regards,
The Reactis Team