Product Documentation
Virtuoso ADE Verifier SKILL Reference
Product Version IC23.1, November 2023

verifGetOptionVal

verifGetOptionVal(
g_sessionId
t_optionName
)
=> t_optionValue / nil

Description

Returns the value of a preference option set in a Verifier session.

Arguments

g_sessionId

Integer, string number, or window specifying the Verifier session ID. For example, 0, "0", or window(2).

t_optionName

The name of the preference option. The name must be one of the values returned by verifSetOptionVal.

Value Returned

l_optionValue

The value of the specified preference option.

nil

The specified option does not have a value, or the command is not successful.

Examples

The following example opens a Verifier cellview, and retrieves the values of the specified options. For options that are switched on or off, Verifier returns t or nil, respectively. For options with other values, Verifier returns the set values.

uid=verifOpenCell("test" "sample" "verifier")
=> 0
verifGetOptionVal(uid "enableCoverage")
=> t
verifGetOptionVal(uid "simparallelcount")
=> 2
verifGetOptionVal(uid "reqspecs")
=> "Use Requirement Spec and Check"

Related Topics

verifGetOptions

verifSetOptionVal

Verifier Session and Setup Functions


Return to top
 ⠀
X