We are pleased to announce the availability of Reactis V2006.1.3.
The following new features were added since V2006.1.2.
- Added initial support for bus objects.
- Improved highlighting of C statement coverage.
The following bugs were fixed since V2006.1.2.
- Fixed bug where Tester would not stop even after 100% coverage
was achieved.
- 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.
- 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.
- User-guided simulation did not allow the entry of values of
type single larger than 1e+5.
- In some cases, Reactis used an incorrect rounding mode for
fixpoint constants.
- In some very rare cases Reactis replaced fixpoint types in
Stateflow with their container integer type.
- 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