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:
- Open the editor for an inport
- Select "Set of specific values" as the "Value Set" radio button selection
- Click the "Add" button
- 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