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

The following new features were added since V2006.1.2.

1. Added initial support for bus objects.
2. Improved highlighting of C statement coverage.

The following bugs were fixed since V2006.1.2.

1. Fixed bug where Tester would not stop even after 100% coverage was achieved.
2. Fixed bug that could cause Reactis to generate the error message "bug: unexpected Y(R,C) dimensions or start index dimensions" for some models containing assignment blocks operating on matrices.
3. Fixed bug that could cause Reactis to generate the error message "error: cannot update type <|<|tp|>|> with tp" for some assignment or selector blocks operating on matrices.
4. User-guided simulation did not allow the entry of values of type single larger than 1e+5.
5. In some cases, Reactis used an incorrect rounding mode for fixpoint constants.
6. In some very rare cases Reactis replaced fixpoint types in Stateflow with their container integer type.
7. 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:

https://reactive-systems.com/login.msp

Best Regards,
The Reactis Team