Reactis V2023.0.1, V2022.2.3

August 21, 2023

Dear Reactis User:

Reactis V2023.0.1 and V2022.2.3 are now available.

Reactis V2023.0.1

The following bugs were fixed since V2023:

Extra RTE assertions generated for some models containing diagram-based virtual sources (#5255)
bug: evaluateAux: Don't know how to evaluate expression: \ii(\true) (top-level operator is unknown) (#5261)
"bug: condition without decision" for some models using cumulative coverage tracking (#5274)
Some saturation/overflow targets for Sum block reported incorrectly as "unreachable" (#5270)
"Toggle breakpoint" item in popup menu is sometimes incorrectly disabled in C code (#5266)

The following bugs were fixed since V2022.2.2:

"Toggle breakpoint" item in popup menu is sometimes incorrectly disabled in C code (#5266)
Some saturation/overflow targets for Sum block reported incorrectly as "unreachable" (#5270)

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

Best Regards,
The Reactis Team