Reactive Systems logo

Automated Testing and Validation with Reactis®

March 26, 2017
Newsletters
Patches
 
Spacer
Back to Patches Archive

March 19, 2012

Dear Reactis User:

Reactis V2011.2.2 and V2011.0.5 are now available.

Reactis V2011.2.2

The following bugs were fixed since V2011.2.1:

  • Fixed "bug: can't apply index 1 to tuple of length 1" issue that could occur in some cases when using the "size" function within the size expression field of a Stateflow data item (#2067).
  • Resolved problem where Reactis would not properly use the "first index" setting for Stateflow a data item if the item's "size" is set to -1 (#2069).
  • Fixed bug that caused Reactis in some cases to produce an error saying "Scoped variable access in Stateflow currently not supported" when using the "." syntax to specify enumerated values in a Stateflow chart (#2071).
  • Fixed inefficiency that caused "Timeout while receiving data from backend" error that could occur when adding configuration variables if the Reactis search path contains a very large number of directories (#2073).
  • Fixed problem where outputs of Validator diagram objectives do not show up in wiring dialog of other objectives (#2081).
  • Resolved issue where disabling coverage tracking for a for diagram objective also disables status tracking of that objective (#2084).
  • Fixed issue where coverage was not tracked for N-d lookup tables configured for two dimensions (#2095).
  • Resolved issue where using "Edit->Undo" to revert validator objective changes fails to force re-translation (#2086).
  • Fixed "bug: unexpected LUT index" that could occur if coverage tracking was disabled for N-d lookup tables configured for one dimension (#2094).
  • Resolved "A block located within a triggered subsystem can only inherit its sample time from the system" error that could occur when using nested Model Reference blocks for models with fixed-step solver (#2097).
  • Do not count Stateflow "box" states in CSEPT coverage (#2078).
  • Fixed "bug: unsupported type(s): 0.0/false/0.0" that could occur for some Stateflow charts that have their "Use strong data typing with Simulink I/O" setting disabled (#2090).
  • Fixed error message when attempting to manipulate the inport constraint of an enumerated type containing negative values (#2115).
  • Fixed parse issue if an enumerated type contains a value named 'int' (#2118).
  • Fixed rare GUI crashes that could occur when opening the test suite import or export dialogs or when exiting Reactis (#2110).
  • Allow adding a range of values in the "Set of specific values" setting within the GUI input constraint editor (#2113).
    To use the new feature:
    1. Open the editor for an inport
    2. Select "Set of specific values" as the "Value Set" radio button selection
    3. Click the "Add" button
    4. In the resulting "Enter values" dialog you can enter min..max to specify all values greater than or equal to min and less than or equal to max. For example, enter "4..7" to specify 4,5,6,7

Reactis V2011.0.5

The following bugs were fixed since V2011.0.4:

  • Fixed "bug: can't apply index 1 to tuple of length 1" issue that could occur in some cases when using the "size" function within the size expression field of a Stateflow data item (#2068).
  • Resolved problem where Reactis would not properly use the "first index" setting for Stateflow a data item if the item's "size" is set to -1 (#2070).
  • Fixed bug that caused Reactis in some cases to produce an error saying "Scoped variable access in Stateflow currently not supported" when using the "." syntax to specify enumerated values in a Stateflow chart (#2072).
  • Fixed inefficiency that caused "Timeout while receiving data from backend" error that could occur when adding configuration variables if the Reactis search path contains a very large number of directories (#2074).
  • Fixed problem where outputs of Validator diagram objectives do not show up in wiring dialog of other objectives (#2082).
  • Resolved "A block located within a triggered subsystem can only inherit its sample time from the system" error that could occur when using nested Model Reference blocks for models with fixed-step solver (#2098).
  • Fixed "bug: unsupported type(s): 0.0/false/0.0" that could occur for some Stateflow charts that have their "Use strong data typing with Simulink I/O" setting disabled (#2091).
  • Fixed parse issue if an enumerated type contains a value named 'int' (#2119).
  • Fixed rare GUI crashes that could occur when opening the test suite import or export dialogs or when exiting Reactis (#2111).

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

Best Regards,
The Reactis Team

Back to Patches Archive

Spacer