Reactis V2016.2.1, V2016.0.3

February 01, 2017

Dear Reactis User:

Reactis V2016.2.1 and Reactis V2016.0.3 are now available.

Reactis V2016.2.1

The following bugs were fixed since V2016.2:

Fixed "bug: unexpected result from getSimulinkSignalProperties" if Unit Delay state resolves to a Simulink.Signal without initial value (#3554).
Properly handle whitespace in block names when adding Validator objectives via the API (#3556).
Fixed problem with functionality to unpack bus inports when signals are renamed (#3559).
Fixed problems when adding a Validator objective within another objective (#3567, #3576).
Fixed problems when using certain MATLAB expressions within Assignment and Selector blocks (#3569, #3573).
Fixed "bug: Uncaught exception: Subscript" when disabling coverage for Stateflow charts containing Validator timer objectives (#3578).
Fixed "bug: findChart: chart not found in machine" when different instances of referenced models use the same Stateflow chart from a library (#3584).
Fixed "bug: couldn't find transition origin" for some rare Stateflow chart conditions (#3596).
Resolved issues where coverage targets were incorrectly classified unreachable in some cases (#3598, #3589).
Fixed problems with Assignment and Selector blocks operating on 1x1 matrix signals (#3601, #3604).
Fixed problems with special characters in block names (#3607).

The following bugs were fixed since V2016.0.2:

Fixed problems when adding a Validator objective within another objective (#3568).
Fixed "bug: Uncaught exception: Subscript" when disabling coverage for Stateflow charts containing Validator timer objectives (#3579).
Fixed problems when using certain MATLAB expressions within Assignment and Selector blocks (#3570, #3574).
Fixed "bug: couldn't find transition origin" for some rare Stateflow chart conditions (#3597).
Resolved issues where coverage targets were incorrectly classified unreachable in some cases (#3590, #3599).
Fixed problems with Assignment and Selector blocks operating on 1x1 matrix signals (#3602, #3605).
Fixed "bug: findChart: chart not found in machine" when different instances of referenced models use the same Stateflow chart from a library (#3585).

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

Best Regards,
The Reactis Team