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).
Reactis V2016.0.3
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