Reactive Systems logo

Automated Testing and Validation with Reactis®

November 22, 2017
Newsletters
Patches
 
Spacer
Back to Patches Archive

October 26, 2017

Dear Reactis User:

Reactis V2017.0.2 and V2016.2.6 are now available.

Reactis V2017.0.2

The following bugs were fixed since V2017.0.1:

  • Fixed issue where multi-block MC/DC groups were not constructed properly if test points are present in the model file (#3843).
  • Fixed "Error: expected numeric data type" when initializing a Data Store Memory using a struct value (#3862).
  • Fixed "Error: Unable to find test point" that could occur for some models when attempting to edit a test point type restriction (#3837).
  • Fixed "bug: unknown value for checkbox: 0.0" that could occur for check boxes in nested block masks (#3845).
  • Fixed issue where excluded relational operator boundary targets would be shown by the wrong name in the "Exported Coverage Targets" list (#3852).
  • Properly emulate Simulink R2017a change in computation for latched input ports (#3848).
  • When adding Validator objectives via the API, also use the model-specific search path when looking for the objective library (#3867).
  • Fixed "bug: getIntInf: 2: \inf32" when running Tester for some models containing very large single-precision literals (#3854).
  • Fixed problem where some targets in Stateflow charts with very long transition paths could be falsely reported as unreachable (#3830).
  • Fixed issue where Reactis GUI would crash if Reactis is configured to use MATLAB R2017b which is not support in Reactis V2017 (#3856).

Reactis V2016.2.6

The following bugs were fixed since V2016.2.5:

  • Fixed "Error: expected numeric data type" when initializing a Data Store Memory using a struct value (#3863).
  • Fixed "bug: unknown value for checkbox: 0.0" that could occur for check boxes in nested block masks (#3846).
  • Fixed "bug: getIntInf: 2: \inf32" when running Tester for some models containing very large single-precision literals (#3855).
  • Fixed problem where some targets in Stateflow charts with very long transition paths could be falsely reported as unreachable (#3831).
  • Fixed issue where Reactis GUI would crash if Reactis is configured to use MATLAB R2017b which is not support in Reactis V2016.2 (#3857).

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

Best Regards,
The Reactis Team

Back to Patches Archive

Spacer