We are pleased to announce the availability of Reactis V2005.0.8 and Reactis V2005.1.4 (Beta).

V2005.0.8

The following bugs were fixed since V2005.0.7.

1. In Stateflow diagrams, when computing the evaluation order for transitions from a given junction or state, Reactis now gives transitions at the twelve o'clock position the lowest priority instead of the highest. This matches the behavior in Stateflow.
2. Fixed bug that could occur if a model referenced a workspace data item that is an array of boolean values. The bug caused the first value of the array to be repeated for the entire array.
3. Fixed bug that could cause 'uncaught exception: Subscript, raised at mwi-abstract-inputs.sml' error message to occur.

V2005.1.4 (Beta)

The following features were added since V2005.1.3.

1. Reactis now supports a new test suite file format (for .rst files). The new format allows Reactis to access a test suite directly on disk instead of requiring the entire suite to be loaded in memory. The format enables Reactis to manipulate dramatically larger test suites. The new capability is especially useful when importing huge test suites created outside of Reactis. The new test suite format can be enabled by selecting the ``Use new test suite file format'' option in the Reactis settings dialog. WARNING: the new file format is a major new feature that is still in beta. For production work, please back up test suites in the old format.
2. When loading an old test suite while using the new test suite format, the test suite will be automatically converted to the new format.
3. A new inputs source dialog (in the main tool bar) enables users to:
   • select and run a subset of tests in Simulator;
   • change test names by first selecting a test in the dialog and then clicking on the test name. To change test names, the new test suite format must be used.
4. When using the new test suite format, test suites can be exported to the old format by selecting Test Suite, Export in Reactis Simulator.
5. Support models created with MATLAB R14.3. Not all new features of R14.3 are supported yet.

The following bugs were fixed since V2005.1.3.

1. In Stateflow diagrams, when computing the evaluation order for transitions from a given junction or state, Reactis now gives transitions at the twelve o'clock position the lowest priority instead of the highest. This matches the behavior in Stateflow.
2. Fixed bug that could occur if a model referenced a workspace data item that is an array of boolean values. The bug caused the first value of the array to be repeated for the entire array.
3. Fixed bug that could cause 'uncaught exception: Subscript, raised at mwi-abstract-inputs.sml' error message to occur.
4. Fixed bug where assertions and user defined targets were stuck after their initial placement. This bug was introduced in V2005.1.3.
5. Fixed wrong sizing of ``User Value Input'' dialog. This bug was introduced in V2005.1.3.

You may download the patches or full installers from:

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

Best Regards,
The Reactis Team