🎉 We're happy to announce new public releases 🎉

  • TriCore v6.3r1 Inspector - v1.0r9 - A family of tools that provide an automated method for identifying toolset issues in compiled output code
  • VX-toolset for RH850 - v5.0r1 - Industry’s First End-to-End Compile, Debug and Test Toolchain for Renesas RH850 Microcontrollers
  • VX-toolset for TriCore - v6.4r1 - Software development environment of certified compiler toolsets for Infineon AURIX TC2xx/TC3xx microcontrollers
Contact us to get access

LDRA Test tools: Understanding Options file

10-Jun-2026

An Options file can be used to configure additional settings for the license server.


Create an Option file

To create an Options File for your LDRA License Server, follow these steps:

1. Create a file named LDRA.opt.

2. Place it in the same directory as the license.dat file. If present, the Options file is automatically used.


If you need to use a different file name or location, edit the license.dat file and add options=path/to/file to the VENDOR line:

VENDOR LDRA options=D:\SomePath\ldra.opt

If the license server is already running when implementing or modifying the Options file, perform a re-read to update the license server. Alternatively, the Options file is read when the license server starts.

Comments can be added to the Options file using the hash (#) symbol.


Available keywords

Access control
  • INCLUDE - Allow a user to use a feature or package
  • INCLUDEALL - Allow a user to use all features served by this vendor daemon
  • EXCLUDE - Deny a user access to a feature or package
  • EXCLUDEALL - Deny a user access to all features served by this vendor daemon


User and host management
  • GROUP - Define a group of users
  • HOST_GROUP - Define a group of hosts
  • GROUPCASEINSENSITIVE - Control case sensitivity for groups and host groups


License allocation
  • RESERVE - Reserve licenses for users, groups, or hosts
  • MAX - Limit license usage for users or groups


License reclamation
  • TIMEOUT - Reclaim inactive licenses for a feature
  • TIMEOUTALL - Reclaim inactive licenses for all features


Logging
  • DEBUGLOG - Configure vendor daemon debug logging
  • REPORTLOG - Configure FLEXnet reporting logs
  • NOLOG - Suppress selected log entries


Type specifications

Several option keywords use a type argument to determine who can use a license or where it can be used.

The following types can be used with INCLUDE, INCLUDEALL, EXCLUDE, EXCLUDEALL, MAX, and RESERVE.

  • USER - Configure vendor daemon debug logging
  • GROUP - Configure FLEXnet reporting logs
  • HOST - Host name or IP address
  • HOST_GROUP - Group of hosts
  • INTERNET IP - Address of the client system


Example:

Exclude user joe from feature f1:

EXCLUDE f1 USER joe


Using groups

To specify multiple users or hosts, first define a group:

GROUP stars joe barbara susan
EXCLUDE f1 GROUP stars


Keyword reference

INCLUDE

Allows a user, group, host, or host group to access a specific feature.

INCLUDE feature type name

Parameters

  • feature - Name of the feature or package
  • type - Restriction type
  • name - User, group, host, or host group name

Example:

INCLUDE f1 USER Charles

Notes
  • EXCLUDE entries take precedence over INCLUDE entries.


INCLUDEALL

Allows a user, group, host, or host group to access all features and packages in the license.

INCLUDEALL type name


Example

INCLUDEALL USER Charles

Notes
  • EXCLUDEALL entries take precedence over INCLUDEALL entries.


EXCLUDE

Prevents a user, group, host, or host group from using a specific feature.

EXCLUDE feature type name


Example

EXCLUDE f1 USER Charles

Notes

  • EXCLUDE entries take precedence over INCLUDE entries.


EXCLUDEALL

Prevents a user, group, host, or host group from using all features in the license.

EXCLUDEALL type name


Example

EXCLUDEALL USER Charles



GROUP

Defines a group of users.

GROUP group_name user_list


Example

GROUP Testers Charles Sarah James


GROUPCASEINSENSITIVE

Controls whether user and host names in GROUP and HOST_GROUP definitions are case-sensitive.

GROUPCASEINSENSITIVE on | off

Default

off


HOST_GROUP

Defines a group of hosts.

HOST_GROUP group_name host_list

Example

HOST_GROUP Testers Test1 Dev1 Build1


TIMEOUT

Returns inactive licenses to the license pool after the specified time.

This applies only when a license is no longer being used but was not properly returned to the license server.

TIMEOUT feature seconds


Parameters
  • feature - Name of the feature
  • seconds - Timeout value in seconds (minimum 900)


Example

TIMEOUT Win_C/C++_TBRUN 900


TIMEOUTALL

Applies the same timeout value to all licensed features.

TIMEOUTALL seconds


MAX

Limits license usage for a user or group.

When applied to a group, the limit applies to the group as a whole rather than to each individual member.

MAX num_lic feature type name


Example

MAX 5 f1 USER Bob
MAX 4 f1 USER ALL_USERS


Notes

  • ALL_USERS and ALL_GROUPS can only be used with MAX.
  • ALL_USERS and ALL_GROUPS entries must appear after specific user or group entries.


REPORTLOG

Specifies the report log file used by FLEXnet Manager.

REPORTLOG [+]path/to/file


Notes
  • Prefix the path with + to append entries.
  • Without +, the file is overwritten when the license server restarts.


DEBUGLOG

Writes vendor daemon debug information to a separate log file.

DEBUGLOG [+]path/to/file [AUTO_ROLLOVER size]


Example

DEBUGLOG +C:\Flex_logs\LDRA.log AUTO_ROLLOVER 512KB

Notes
  • AUTO_ROLLOVER archives the log when it reaches the specified size.
  • Supports KB, MB, and GB values.
  • Only vendor daemon logging is redirected. lmgrd output remains in the standard log.


NOLOG

Suppresses selected events from the debug log.

NOLOG {IN | OUT | DENIED | UNSUPPORTED}


Log only unsuccessful license requests:

NOLOG IN
NOLOG OUT


RESERVE

Reserves licenses for a specific user, group, host, or host group. Reserved licenses remain dedicated to the specified entity even when not in use.

RESERVE num_lic feature type name

Example

RESERVE 1 f1 USER robert


Configuration examples

Reserve licenses and exclude a user
RESERVE 1 f1 USER robert
RESERVE 3 f1 HOST mainline

EXCLUDE f1 USER lori

Result

  • Reserves one license of feature f1 for robert.
  • Reserves three licenses of feature f1 for host mainline.
  • Prevents lori from using feature f1. 


The total number of reserved licenses must not exceed the number available for the feature.


Restrict multiple users using a group
Individual entries

Example

EXCLUDE toothbrush USER bob
EXCLUDE toothbrush USER howard
EXCLUDE toothbrush USER james


Using a group

Example:

GROUP Hackers bob howard james

EXCLUDE toothbrush GROUP Hackers


Result

Users bob, howard, and james are prevented from using feature toothbrush. Using a group simplifies future administration.


EXCLUDE

Example

GROUP painters picasso mondrian klee

EXCLUDE spell GROUP painters
EXCLUDE spell USER bob
EXCLUDE spell INTERNET 123.123.123.*
Result
  • Prevents members of the painters group from using spell.
  • Prevents user bob from using spell.
  • Prevents users connecting from 123.123.123.* from using spell.

All other users can use the feature.



INCLUDE

Example

INCLUDE paint USER picasso
INCLUDE paint USER mondrian
INCLUDE paint HOST bigbrush


Result

  • Allows picasso to use paint.
  • Allows mondrian to use paint.
  • Allows any user running on host bigbrush to use paint.

All other users are denied access to the feature.

Was this answer helpful?