We are pleased to announce the availability of Reactis V2005.0.12 and Reactis V2005.1.9 (Beta)

V2005.0.12

The following bugs were fixed since V2005.0.11

1. Accept mixed data types in Merge blocks.
2. Accept integer values as inputs to Switch Case blocks.
3. Accept expressions in S-Function name field.
4. Fixed wrong output of Look Up Table block that occurred when ``Use value below'' option was selected.
5. Correctly handle the case when the top-level system name of a Validator objective library does not match the file name of that library (this can happen when a library is renamed outside Simulink).
6. If a model file is associated with a non-default .rsi file and that .rsi file no longer exists, remove the association.
7. Fixed problem that caused a ``Backend process died unexpectedly (exit code 0)'' error message to be displayed on some systems.

V2005.1.9

The following features were added since V2005.1.8.

1. Support Simulink From Workspace, From File and Signal Builder blocks.
2. Support mixed bus signals in Merge, Unit Delay, Memory, Zero-Order Hold, Switch and Multiport Switch blocks.
3. Tester now obtains better boundary value coverage for vector inputs.

The following bugs were fixed since V2005.1.7.

1. Fixed bug introduced in V2005.1.8 that broke progress indicator in Tester.
2. Correctly handle the case when the top-level system name of a Validator objective library does not match the file name of that library (this can happen when a library is renamed outside Simulink).
3. Fixed problem where Tester could terminate suggesting 100 percent coverage although some MC/DC targets remained uncovered.
4. Support more than two arguments to Stateflow ``min'' and ``max'' functions.
5. Support remapping of signal names in ``Bus Selector'' blocks when name is unique but not referring to current bus architecture.
6. If a model file is associated with a non-default .rsi file and that .rsi file no longer exists, then remove the association.
7. Fixed wrong output of ``Look Up Table'' block that occurred when ``Use value below'' option was selected.
8. Fixed problem that caused a ``Backend process died unexpectedly (exit code 0)'' error message to be displayed on some systems.

You may download the patches or full installers from:

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

Best Regards,
The Reactis Team