Reactive Systems logo

Automated Testing and Validation with Reactis®

December 11, 2017
Newsletters
Patches
 
Spacer
Back to Patches Archive

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

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

The following bugs were fixed since V2006.0.17.

  1. User-guided simulation did not allow the entry of values of type single larger than 1e+5.
  2. In some cases, Reactis used an incorrect rounding mode for fixpoint constants.
  3. In some very rare cases Reactis replaced fixpoint types in Stateflow with their container integer type.
  4. For certain legitimate uses of a fixpoint type t in Stateflow, Reactis generated the error message "bug: Initial value for type \[t] not supported."

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