Reactive Systems logo

Automated Testing and Validation with Reactis®

December 12, 2017
Newsletters
Patches
 
Spacer
Back to Patches Archive

November 26, 2008

Dear Reactis User:

We are pleased to announce the availability of Reactis V2008.0.7 and V2007.0.11.

V2008.0.7

The following bugs were fixed since V2008.0.6:

  • Fixed bug that could cause the GUI to crash if a negative value is entered for an input in the user guided simulation dialog.
  • Modified "Tools->Synchronize" operation to properly execute custom pre-load and post-load functions.
  • Fixed bug that could cause Model Reference blocks to show up as broken links.
  • Updated directory name processing in the C Plugin to properly handle directory names that contain spaces.
  • Fixed bug in the C Plugin that caused the display of garbled information when hovering over a structure in C code.
  • Fixed bug that in rare cases could lead to incorrectly flagged overflows when applying the negation operator in Stateflow.
  • Fixed bug that caused the directory selection dialog that is launched from the search path dialogs to not show drive choices on Windows Vista.
  • Fixed bug that caused fixpoint types reported in some overflow error messages to be displayed in a non-readable form.
  • Fixed bug that prevented the use of negative delta constraints for inputs having an unsigned integer base type (e.g. uint8 delta [-1,1]). Attempts to formulate such an inport constraint caused an "unable to parse" error to be displayed.
  • Fixed bug where the Reactis search path was not properly adapted when switching the MATLAB version via a warning dialog at Reactis startup. This could sometimes occur for restricted user accounts and when multiple versions of MATLAB are installed.

V2007.0.11

The following bugs were fixed since V2007.0.10:

  • Modified "Tools->Synchronize" operation to properly execute custom pre-load and post-load functions.
  • Updated directory name processing in the C Plugin to properly handle directory names that contain spaces.
  • Fixed bug in the C Plugin that caused the display of garbled information when hovering over a structure in C code.
  • Fixed bug that in rare cases could lead to incorrectly flagged overflows when applying the negation operator in Stateflow.
  • Fixed bug that caused the directory selection dialog that is launched from the search path dialogs to not show drive choices on Windows Vista.
  • Fixed bug that prevented the use of negative delta constraints for inputs having an unsigned integer base type (e.g. uint8 delta [-1,1]). Attempts to formulate such an inport constraint caused an "unable to parse" error to be displayed.
  • Fixed bug where the Reactis search path was not properly adapted when switching the MATLAB version via a warning dialog at Reactis startup. This could sometimes occur for restricted user accounts and when multiple versions of MATLAB are installed.
  • Fixed bug that caused fixpoint types reported in some overflow error messages to be displayed in a non-readable form.

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

Best Regards,
The Reactis Team

Back to Patches Archive

Spacer