Reactis for Simulink V2020.2.1, V2020.0.4

March 12, 2021

Dear Reactis User:

Reactis V2020.2.1 and V2020.0.4 are now available.

Reactis V2020.2.1

The following bugs were fixed since V2020.2:

"bug: no default value defined" for some models using alias types and enumerated types (#4703).
"Bug: uncaught exception: bind" for some combinations of Merge/Outport blocks (#4728).
Excluding coverage tracking for contents of Validator objectives does not work in some cases (#4755).
Subnormal floating-point values are only checked if Inf/Nan checking is also enabled (#4707).
32-bit subnormal value causes "NotImplemented" exception in C plugin (#4709).
Subnormal floating-point values in C code are only checked if Inf/Nan checking is also enabled (#4715).
Automatic update fails with "Invalid checksum" error (#4750).

The following bugs were fixed since V2020.0.3:

"Bug: uncaught exception: bind" for some combinations of Merge/Outport blocks (#4728).
"bug: no default value defined" for some models using alias types and enumerated types (#4703).
Excluding coverage tracking for contents of Validator objectives does not work in some cases (#4755).

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

Best Regards,
The Reactis Team