Reactive Systems logo

Automated Testing and Validation with Reactis®

May 1, 2017
Newsletters
Patches
 
Spacer
Back to Patches Archive

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

Back to Patches Archive

Spacer