To: Subscribers to Reactis Patches Mailing List
Reactive Systems (
November 18, 2005

We are pleased to announce the availability of Reactis V2005.1.10 (Beta)

The following features were added since V2005.1.9.

  1. Support Simulink Signal Viewer Scopes.
  2. If an error occurs during test generation, Tester will now add the current test (which caused the error) to the test suite before terminating.
  3. Support type aliases created with ``Simulink.NumericType'' objects.
  4. Support the use of type aliases in Stateflow.
  5. Track branch coverage for Relay blocks.

The following bugs were fixed since V2005.1.9.

  1. When Reactis detects an illegal temporary variable in Stateflow, Reactis now issues a warning and treats the variable as a regular local variable. This mirrors the behavior of The MathWorks Stateflow engine.
  2. Fixed problem that could cause ``unexpected bus data type (2)'' bug.
  3. Fixed some rounding problems with fixpoint types that use slope and bias scaling.
  4. Fixed problems that occurred when using get_param or set_param functions in blocks that are located within Validator assertions or user-defined targets.
  5. Fixed ``bug: markActive: 1'' bug that occurred if an early-exit condition canceled activation of parallel (AND) states.
  6. Fixed bug that sometimes prevented prepending the Reactis path to MATLAB path when retrieving configuration variables.
  7. Fixed bug (introduced in V2005.1.9) that caused ``Communication error'' when trying to use the API.
  8. The API now uses MATLAB version as set in the Reactis GUI.

You may download the patches or full installers from:

Best Regards,
The Reactis Team

Back to Patches Archive