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

The following bugs were fixed since V2006.0.6.

1. Fixed bug that caused an incorrect inport size to be computed when a top-level inport size is specified without a comma separator (i.e. [2 3] instead of [2, 3]).
2. Fixed a bug that could occur during the random phase of a Tester run and cause the message "bug: test step index out of range: n/0" to be displayed.
3. Fixed a bug that occurred when an InportShadow (Input Port Duplicate) block carries a mixed type signal. When encountered a "bug: signal base type undefined" message was displayed.
4. When inserting a diagram-based Validator objective into a model, the .mdl file containing the objective must be located in the Reactis search path. Previously if the file was in the model-specific search path, but not the global path, Reactis improperly reported that the file was not in the path. This problem has now been resolved.

You may download the patches or full installers from:

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

Best Regards,
The Reactis Team