Reactive Systems logo

Automated Testing and Validation with Reactis®

May 1, 2017
Newsletters
Patches
 
Spacer
Back to Patches Archive

August 20, 2012

Dear Reactis User:

Reactis V2012.0.1 and V2011.2.5 are now available.

Reactis V2012.0.1

The following bugs were fixed since V2012:

  • Fixed "Error: Signal not found in bus" messages that could occur if the "Bus element name visibility" setting (in Edit->General) was set to "Show element names for all buses" (#2250).
  • Resolved problem where "edge" output triggers from Stateflow chart were not properly buffered when multiple triggers occurred within the same time step (#2253).
  • Fixed "Invalid 'case condition' expression" error that would occur if a "newline" character was used in the 'Case Conditions' expression of a "Switch Case" block (#2242).
  • Fixed bug where "Simplest" rounding mode setting would incorrectly be reported as not supported for "Multi-Port Switch" blocks (#2246).
  • Resolved issue where Reactis would in some cases infer the wrong data type for a DWork vector in an S-Function (#2244).
  • Fixed "Bug: invalid cast" that could occur when filtering an element of a bus in a test suite using the "." notation (#2202).
  • Fixed minor issue in Japanese GUI translations (#2252).

Reactis V2011.2.5

The following bugs were fixed since V2011.2.4:

  • Resolved problem where "edge" output triggers from Stateflow chart were not properly buffered when multiple triggers occurred within the same time step (#2254).
  • Fixed "Invalid 'case condition' expression" error that would occur if a "newline" character was used in the 'Case Conditions' expression of a "Switch Case" block (#2243).
  • Fixed bug where "Simplest" rounding mode setting would incorrectly be reported as not supported for "Multi-Port Switch" blocks (#2247).
  • Resolved issue where Reactis would in some cases infer the wrong data type for a DWork vector in an S-Function (#2245).

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

Best Regards,
The Reactis Team

Back to Patches Archive

Spacer