We are sorry to announce that the V2005.0.9 and V2005.1.5 versions of Reactis introduced a bug that caused coverage statistics to be reported incorrectly. We suggest that anyone who installed these versions upgrade to the now available Reactis V2005.0.10 or Reactis V2005.1.6 (Beta). We are sorry for the inconvenience.

V2005.0.10

The following bugs were fixed since V2005.0.9.

1. Fixed bug introduced in V2005.0.9 that caused incorrect coverage statistics to be reported in the Coverage Report Browser and the Coverage Summary dialog.
2. Fixed problem that occurred when a boolean signal was connected to the control input of a Multiport Switch block.

V2005.1.6 (Beta)

The following bugs were fixed since V2005.1.5.

1. Fixed bug introduced in V2005.1.5 that caused incorrect coverage statistics to be reported in the Coverage Report Browser and the Coverage Summary dialog.
2. Fixed problem that occurred when a boolean signal was connected to the control input of a Multiport Switch block.
3. Fixed problem with new test suite format on Windows 98.

You may download the patches or full installers from:

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

Best Regards,
The Reactis Team