Reactive Systems logo

Automated Testing and Validation with Reactis®

March 26, 2017
Newsletters
Patches
 
Spacer
Back to Patches Archive

To: Subscribers to Reactis Patches Mailing List
From:
Reactive Systems (http://www.reactive-systems.com)
Date:
May 23, 2006
e

We are pleased to announce the availability of Reactis V2006.0.9.

The following bugs were fixed since V2006.0.8.

  1. In the Stateflow action language, the operator "^" has two possible meanings. The semantics used for a particular instance of "^" depends on whether bit operations are enabled or disabled for the containing chart. If bit operations are enabled then the operator is interpreted as a bitwise-or operation; whereas, when bit operations are disabled it is assumed to be a pow operator. Previously, the precedence assigned to this operator did not take into account whether or not bit operations are enabled. This incorrectly caused the pow interpretation to use the precedence of the bitwise-or operation. This problem has been resolved in this patch.
  2. For some models with atomic subsystems that have Unit Delay blocks connected to their inports, Reactis previously reported a cycle when Simulink did not. This has been resolved in this patch.
  3. A bug that caused the "tanh" setting of the Trigonometry block to be rejected has been fixed.

You may download the patches or full installers from:

http://www.reactive-systems.com/login.msp

Best Regards,
The Reactis Team

Back to Patches Archive

Spacer