Reactive Systems logo

Automated Testing and Validation with Reactis®

October 19, 2017
Newsletters
Patches
 
Spacer
Back to Patches Archive

July 29, 2010

Dear Reactis User:

We are pleased to announce the availability of Reactis V2010.0.3 and V2009.2.6

V2010.0.3

The following bugs were fixed since V2010.0.2:

  • Fixed problem where Stateflow "send" function would not properly cause a transition to be taken if that transition originates directly on the state that the event is sent to (#1293).
  • Fixed bug where a space between a Stateflow state name and a following "/" character would cause error messages when hovering over a substate or attempting to set a breakpoint. The state would also not be properly highlighted (#1275).
  • Resolved issue where calling a graphical function from an inner transition segment in Stateflow would result in a "Reactis could not find a function..." error message (#1281).
  • Fixed problem that caused an error saying "Simulink reported the following error while loading the model : Reference to non-existent field 'Signed'" if a field of a structure within the MATLAB workspace contained an "embedded.fi" object (#1247).
  • Fixed problem where watched variables in Reactis Simulator were not properly updated when an error message (such as "NaN/Inf value detected") is reported (#1279).
  • Fixed bug that caused the "Signed Sqrt" block to return not-a-number for negative input values (#1296).
  • Fixed issue where Reactis would report data type errors during simulation if a bus element's base type specification contains functions or operators other than "fixdt" (#1265).
  • Fixed bug where for certain kinds of models Reactis would not produce the same test suite if given the same model and same random seed (#1254).
  • Fixed "bug: didn't expect cycle to be empty" error that would be reported in some cases when a block priority violation exists in a model (#1268).

The following bugs in the C Plugin were fixed since V2010.0.2:

  • Fixed bug where double floating-point values larger than 0x7fffffff were not cast correctly to type unsigned int (32-bit) (#1289).

V2010.2.6

The following bugs were fixed since V2009.2.5:

  • Fixed problem where Stateflow "send" function would not properly cause a transition to be taken if that transition originates directly on the state that the event is sent to (#1294).
  • Fixed bug where a space between a Stateflow state name and a following "/" character would cause error messages when hovering over a substate or attempting to set a breakpoint. The state would also not be properly highlighted (#1276).
  • Fixed issue where Reactis would report data type errors during simulation if a bus element's base type specification contains functions or operators other than "fixdt" (#1266).
  • Resolved issue where calling a graphical function from an inner transition segment in Stateflow would result in a "Reactis could not find a function..." error message (#1282).
  • Fixed bug where for certain kinds of models Reactis would not produce the same test suite if given the same model and same random seed (#1255).
  • Fixed "bug: didn't expect cycle to be empty" error that would be reported in some cases when a block priority violation exists in a model (#1269).

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

Best Regards,
The Reactis Team

Back to Patches Archive

Spacer