June 03, 2025

Dear Reactis User:

We are pleased to announce the availability of:

  • Reactis® for Simulink ® V2025
  • Reactis Model Inspector V2025
  • Reactis for Simulink V2024.2.2 patch
  • Reactis for Simulink V2024.0.5 patch
  • Reactis for C V2024.0.2 patch

Reactis for Simulink V2025

The V2025 release of Reactis includes all bug fixes that were included in patch releases through V2024.2.2 plus the new features listed below.

Open Current Model in Simulink

A common Reactis workflow is to find a bug using Reactis Tester, then diagnose the issue in Reactis Simulator, and finally update the model in Simulink to resolve the problem. To simplify this workflow, V2025 introduces a new mechanism to open the model currently loaded in Reactis in Simulink and to navigate to a particular location within the model. For example, right-clicking on a subsystem in the Reactis hierarchy panel and selecting Open in Simulink causes Reactis to load the model in Simulink and navigate to the right-clicked subsystem. Similarly, you can right-click on any Simulink block or Stateflow® state or transition and select Highlight in Simulink to cause Reactis to load the model in Simulink, navigate to the system containing the item (block, state, or transition) and highlight the item.

Generalized Mechanism for Linking to Requirements

Reactis Validator lets you formulate a requirement that your model should satisfy and then search for violations of the requirement. Prior to V2025, Reactis offered a mechanism to link from a Validator objective to a natural language version of the requirement maintained in a Microsoft Word or Excel document. V2025 offers a generalized version of this mechanism which can be configured to link to other types of requirements repositories, e.g. a web-based system.

Generate Assertions for Checking Run-Time Errors in Stateflow Charts

Extending the automatic Run-Time Error (RTE) assertions introduced in Reactis V2023, Reactis now automatically generates RTE assertions within Stateflow charts. Just like in Simulink, these assertions track the following types of errors:

  • Integer Overflow: The result of an integer arithmetic operation is not in the range of the integer type for the result.
  • Integer Division by Zero: The divisor of an integer division operation is zero.
  • Inf/NaN: The result of a floating-point operation is +-Inf or NaN.
  • Indexing: The index used to identify the position of an element in an array is out of range.

Improvements to SMT Solver

The Reactis solver interface constructs and solves constraints for two purposes:

  • to flag targets as unreachable
  • to guide Reactis Tester in the selection of inputs to exercise targets during test-generation.
Improvements to the solver interface in V2025 enable Reactis to flag more targets as unreachable and to exercise more targets with generated tests.

The solver interface has been extended to support the following Simulink blocks: Discrete Integrator, Rate Limiter and Weighted Sample Time Math.

The solver interface has improved support for integer division in models where Reactis is configured to produce an error on integer division by zero.

Embedded MATLAB (EML) Support Improvements

V2025 adds support for the circshift function in all places where Reactis supports the use of EML (e.g., MATLAB® Function blocks, MATLAB Action language in Stateflow).

Other Improvements

  • A new option for CSV export lets you include the current Reactis version in the exported file.
  • A new menu item (File > Launch MATLAB with Reactis API) starts a MATLAB window with the Reactis API pre-configured for use.
  • A new setting in the Edit > Error Checking pane lets you configure a model to continue test generation after detecting an indexing error in Stateflow.

Newly Supported Simulink Features

The following Simulink features are newly supported in Reactis V2025:

  • MATLAB R2025a.

Additional Bug Fixes

The following bugs fixes are included in V2025 but not in previous releases:

  • If the Prepend Reactis search path to MATLAB search path option is checked for a model and a Pre-Load Function is defined for the model in Reactis then previously, the pre-load function was executed before adding the search path. This could lead to situations where scripts in the pre-load function would not be found. In V2025, the pre-load function is executed after adding the search path (#5605).
  • In previous versions, a warning about unsaved changes could appear when starting Reactis Simulator or Tester after canceling a Tools > Synchronize Inports, Outports and Test Points operation. This has been fixed in V2025.

Reactis Model Inspector V2025

The V2025 release of Reactis Model Inspector includes the following new features.

  • Support MATLAB R2025a.
  • Improvements to drawing of various Simulink blocks.

Reactis V2024.2.2

The following bugs were fixed since V2024.2.1:

  • Reactis reports "bug: uncaught exception: Match" for Validator assertion expressions incorrectly referencing buses (#5705)
  • "Error: undefined variable" for some EML charts using hasChanged() (#5708)
  • Error compiling multi-line comment within C macro actual argument list (#5692)
  • Reactis keeps re-importing some models instead of using MWI cache files (#5617)
  • rsRunTests incorrectly reports difference in outport dimensions in some cases (#5644)
  • "Bug: Unable to open file '[filename].c'" reported when generating test execution report (#5660)
  • Displayed value of C floating point struct/array element is truncated to the nearest integer when hovering (#5702)
  • Reactis Tester in some cases generates Inf values for top-level single-precision floating point inputs (#5627)
  • Add option for model printing to only print systems containing items highlighted for coverage (#5619)
  • Reactis produces "Error during Simulink type inference" error if current harness is within a commented-out system (#5650)
  • "Error: Index out of bounds" when defining Stateflow parameter data with "first index" setting (#5682)
  • Reactis reports bug message for some N-d Lookup Table blocks with breakpoint or table input ports (#5679)
  • "Uncaught exception: Subscript" for some Pre-Lookup and Interpolation blocks with table input ports (#5676)
  • "bug: empty table" for Direct Lookup Table (N-d) block where table data is a scalar (#5667)
  • Some inport ranges imported rsRsiSyncInputs API function cause "error: Error parsing info file" in Simulator (#5663)
  • "Undefined function or variable" error for some comparisons to enumerated types in EML charts (#5657)
  • Conversion from 'single' to some fixpoint types is off by small amount (#5654)
  • Reactis produces error if size (but not type) of a Simulink function within a Stateflow chart is inherited (#5647)
  • Use of absolute time temporal logic in some places causes bug message when using MATLAB action language (#5638)
  • Address of _Bool value incorrectly calculated by C backend (#5631)
  • "Bug: unable to find sample rate for latched inport" (#5623)
  • Incorrect output of Mod block for some very small input values (#5670)
  • Contents of active Stateflow chart grayed out in some cases (#5689)

Reactis V2024.0.5

The following bugs were fixed since V2024.0.4:

  • Reactis reports "bug: uncaught exception: Match" for Validator assertion expressions incorrectly referencing buses (#5705)
  • "Error: undefined variable" for some EML charts using hasChanged() (#5708)
  • Reactis Tester in some cases generates Inf values for top-level single-precision floating point inputs (#5627)
  • Reactis keeps re-importing some models instead of using MWI cache files (#5617)
  • Error compiling multi-line comment within C macro actual argument list (#5692)
  • rsRunTests incorrectly reports difference in outport dimensions in some cases (#5644)
  • Displayed value of C floating point struct/array element is truncated to the nearest integer when hovering (#5702)
  • "Bug: unable to find sample rate for latched inport" (#5623)
  • Address of _Bool value incorrectly calculated by C backend (#5631)
  • Use of absolute time temporal logic in some places causes bug message when using MATLAB action language (#5638)
  • Reactis produces error if size (but not type) of a Simulink function within a Stateflow chart is inherited (#5647)
  • Reactis produces "Error during Simulink type inference" error if current harness is within a commented-out system (#5650)
  • Conversion from 'single' to some fixpoint types is off by small amount (#5654)
  • "Undefined function or variable" error for some comparisons to enumerated types in Stateflow charts using the MATLAB action language (#5657)
  • rsRsiSyncInputs API function causes "error: Error parsing info file" starting Simulator (#5663)
  • "bug: empty table" for Direct Lookup Table (N-d) block where table data is a scalar (#5667)
  • "Uncaught exception: Subscript" for some Pre-Lookup and Interpolation blocks with table input ports (#5676)
  • Reactis reports bug message for some N-d Lookup Table blocks with breakpoint or table input ports (#5679)
  • "Error: Index out of bounds" when defining Stateflow parameter data with "first index" setting (#5682)
  • Incorrect output of Mod block for some very small input values (#5670)

Reactis for C V2024.0.2

The following bugs were fixed since V2024.0.1:

  • Cannot change or access coverage for a C source file via API (#5592)
  • Displayed value of floating point struct/array element is truncated to the nearest integer when hovering (#5606)
  • Changing file-level coverage settings via Reactis for C API does not work in some cases (#5614)
  • Error compiling multi-line comment within C macro actual argument list (#5684)

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

Best Regards,
The Reactis Team

Back to Patches Archive
Copyright © Reactive Systems, Inc. 2000-2025
Tomorrow's Software Today®