24. Global Parameters#

Reactis parameters set from FileGlobal Settings... in the Reactis GUI.

Parameters listed below can be arguments for the rsGetParameterValue and rsSetParameterValue functions. These parameters influence the general function of Reactis for Simulink. Each parameter described here can also be manipulated from the Global Settings dialog invoked via FileGlobal Settings... in the main window of the Reactis GUI. The parameter names and allowed values are described below. For a more detailed description of the functionality being controlled see Chapter 4 of the Reactis User’s Guide. The parameters are listed below in groups corresponding to the different tabs of the Global Settings dialog.

24.1. General#

Parameters from the General pane of the Global Settings dialog.

Parameter Name

Allowed Values

Description

LicenseServer

string

Set the IP address or host name of a server running the Reactis License Manager software.

Locale

en_EN, ja_JP

Set the language used in the Reactis GUI to English (en_EN) or Japanese (ja_JP).

HelpSystemLanguage

en

Set the language used in the Reactis in-tool documentation. Currently English (en) is the only available language.

AutoUpdateEnabled

0, false, 1, true

Enable automatic checking for updates.

Solver

smt-z3, z3, none

Set the solver interface to be used by Reactis. This should be kept at its default (smt-z3) and only changed if instructed to do so by the Reactis support team.

EnableLogging

0, false, 1, true

Enable the Reactis logging facility. Enabling this can decrease performance and may generate large log files. Only enable this if asked to do so by the Reactis support team.

LogLevel

string

Set information about what to write to the Reactis log file (see parameter EnableLogging). If you are asked to create a log file by the Reactis support team, the required LogLevel string will be indicated.

LogFile

string

Set the location of the Reactis log file to be created when logging is enabled (see parameter EnableLogging).

24.2. Reactis for C#

Settings related to Reactis for C Plugin.

Parameter Name

Allowed Values

Description

UseCPlugin

0, false, 1, true

Enable Reactis for C Plugin features to support white-box testing of C code parts of model (S-Functions, Stateflow custom code).

24.3. Reactis for EML#

Settings related to Embedded MATLAB (EML) Plugin.

Parameter Name

Allowed Values

Description

UseEmlPlugin

0, false, 1, true

Enable Reactis for EML Plugin features to support white-box testing of Embedded MATLAB parts of model (MATLAB Function blocks, MATLAB functions in Stateflow).

24.4. MATLAB#

Settings configure Reactis interaction with MATLAB.

Parameter Name

Allowed Values

Description

MatlabRoot

string

Root directory of the MATLAB version that Reactis should use. Do not use quotes.

MatlabEngineType

dll, com, socket

Select the method used by Reactis to invoke MATLAB: MATLAB engine DLL (dll), Windows COM interface (com), or Full MATLAB window (socket).

MatlabStartupTimeout

double

Maximum time for Reactis to wait when starting up MATLAB. If this timeout expires, Reactis will report an unable to invoke MATLAB error.

ReuseMatlabCommandWindows

boolean

When Reactis invokes MATLAB , it will use this option to determine whether to reuse to existing MATLAB instances, or invoke new ones.

24.5. Path#

Settings configure the Global Reactis path.

Parameter Name

Allowed Values

Description

LibraryPath

string

Global Reactis library path. This must be a semicolon-separated list of directories. Do not use quotes.

24.6. Files#

Settings to configure where Reactis stores files it creates.

Parameter Name

Allowed Values

Description

ReactisFilesDir

string

Specifies the directory where Reactis stores files that it creates and uses.

24.7. User Info#

Settings to configure information Reactis will report to the license server.

Parameter Name

Allowed Values

Description

UserName

string

Name of the current user. Setting this to - (single dash with no quotes) will make Reactis use the logon name of the current user. This information will be reported to the license server.

UserPhone

string

Phone number of the current user. This information will be reported to the license server.