Reactive Systems logo

Automated Testing and Validation with Reactis®

December 11, 2017
Newsletters
Patches
 
Spacer
Back to Patches Archive

May 22, 2009

Dear Reactis User:

We are pleased to announce the availability of Reactis V2009.0.3, V2008.0.12 and of Reactis V2009.1.1 (beta)

V2009.1.1 (beta)

Added 'Objectives' Tab in RSI File Editor

A new tab lists all Validator objectives (assertions, user-defined targets, and virtual sources) that have been added to a model. For each objective, the listing provides the objective's status (disabled, enabled, covered, not covered, violated, ok), name, and location in the model. For any objective, you may double-click on the objective in the list to display it in the main panel or right-click to edit the objective. Also, the list can be used to revive "orphaned" objectives (those that are invisible because the name of the system in which they reside has changed).

Added 'C Sources' Tab in RSI File Editor

A new tab lists all locations where C code might be incorporated into a model. Specifically, there is an entry for Stateflow custom code (if the model has any) as well as a line for each S-Function in the model. In the case of S-Functions, an RSM file (Reactis Makefile listing the C files comprising the S-Function) may be added or removed by right-clicking on the S-Function in the list. By sorting the list by S-Function name and then attaching a RSM file to a range of items it is possible to quickly assign RSM files to all S-Functions of a specific type in the model.

Newly supported Simulink features

  • Reactis now supports the use of bus types in Stateflow charts.
  • Setting the data type for a machine-global Stateflow variable to "inherited" is now supported.

Other Improvements

  • After clicking the "up" arrow (or pressing F2) to display the parent subsystem, Reactis now highlights for one second the subsystem that was visible before. This can be helpful when navigating large models.
  • An "Auto-wire" button in the Validator objective dialog simplifies the process of wiring them into a model (especially in the case of virtual sources that may control a number of inputs). Clicking the button will automatically select the correct connections for a port of an objective if the port's name matches the name of an item in the model.

Bugs fixed since V2009.1.0

  • Fixed bug where Reactis would sometimes produce incorrect warnings saying that .rsm files which are in directories other than the current model directory do not exist.
  • Fixed "bug: uncaught exception" that could occur when using directory paths that start with a "\" in the "include" section of an RSM file.
  • Fixed warnings about "discrete states cannot be logged" that would occur for some models when running an exported test suite using the "runtests" script.
  • Fixed problem where Reactis would relay a Simulink type error when using virtual sources for some models.
  • Fixed bug that caused an error "Cannot pass a pointer to a variable of type X into a function that expects a pointer to X" when using a construct like "&foo[0][0]" for passing a reference to a 2d array into custom code from Stateflow.
  • Fixed "spatial memory error" that was sometimes reported when passing an array into custom code in Stateflow by using a reference to its first element (e.g. "&foo[0]").
  • Fixed bug where, when using #include to search for a user file, the path was constructed relative to the directory containing the outermost .c file instead of relative to the file containing the #include directive.
  • Fixed bug where functions "modf" and "modff" in the Reactis for C Plugin were not working correctly. This could result in various problems with fixpoint types and values for S-Functions when using the Reactis for C Plugin.
  • Fixed "bug: expected real value" if data type conversion operators "double()" or "single()" are used in the expression of an "If" block.
  • Fixed bug that caused Reactis to report dependency cycles for some valid models if the language is set to "Japanese".
  • Fixed bug where the "ssRegDlgParamAsRunTimeParam" function (when used in an S-Function running in Reactis) would not correctly convert the parameter's data type.
  • Fixed bug where the "ssGetDataTypeId" function (when used in an S-Function running in Reactis) would not work for built-in data types (e.g. "double" or "int8").

V2009.0.3

The following bugs were fixed since V2009.0.2:

  • Fixed bug where, when using #include to search for a user file, the path was constructed relative to the directory containing the outermost .c file instead of relative to the file containing the #include directive.
  • Fixed bug where functions "modf" and "modff" in the Reactis for C Plugin were not working correctly. This could result in various problems with fixpoint types and values for S-Functions when using the Reactis for C Plugin.
  • Fixed "bug: expected real value" if data type conversion operators "double()" or "single()" are used in the expression of an "If" block.
  • Fixed bug that caused Reactis to report dependency cycles for some valid models if the language is set to "Japanese".
  • Fixed bug where the "ssRegDlgParamAsRunTimeParam" function (when used in an S-Function running in Reactis) would not correctly convert the parameter's data type.
  • Fixed bug where the "ssGetDataTypeId" function (when used in an S-Function running in Reactis) would not work for built-in data types (e.g. "double" or "int8").

V2008.0.12

The following bugs were fixed since V2008.0.11:

  • Fixed bug where, when using #include to search for a user file, the path was constructed relative to the directory containing the outermost .c file instead of relative to the file containing the #include directive.
  • Fixed bug where functions "modf" and "modff" in the Reactis for C Plugin were not working correctly. This could result in various problems with fixpoint types and values for S-Functions when using the Reactis for C Plugin.
  • Fixed "bug: expected real value" if data type conversion operators "double()" or "single()" are used in the expression of an "If" block.
  • Fixed bug that caused Reactis to report dependency cycles for some valid models if the language is set to "Japanese".
  • Fixed bug where the "ssRegDlgParamAsRunTimeParam" function (when used in an S-Function running in Reactis) would not correctly convert the parameter's data type.
  • Fixed bug where the "ssGetDataTypeId" function (when used in an S-Function running in Reactis) would not work for built-in data types (e.g. "double" or "int8").

You may download the patches or full installers from the Reactis User Pages.

Best Regards,
The Reactis Team

Back to Patches Archive

Spacer