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

verifCreateVPlan

verifCreateVPlan(
g_sessionId
t_fileName
)
=> t / nil

Description

Creates a vPlan file (*.vplanx) for specified Verifier session that is connected to the vManager server.

Arguments

g_sessionId

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

t_fileName

vPlan file name.

Value Returned

t

vPlan file is created successfully.

nil

vPlan file exists, or vManager server does not have the permissions to write to that file, or the command is unsuccessful.

Examples

The following example starts a Verifier session with vManager setup and creates a vPlan file.

uid = verifOpenCellView("amsPLL" "TOP_verification" "verification")
INFO (VERIFIER-9008): Successfully downloaded from vm-verifier-team.8080 APB_UART_noref.vplanx.
INFO (VERIFIER-8215): Started Verifier session '1'.
=> 0
verifIsVManagerEnabled(uid)
=> t
verifCreateVPlan(uid "/tmp/myPlan.vplanx")
=> t
verifVPlanExists(uid "/tmp/myPlan.vplanx")
=> t
verifCreateVPlan(uid "/home/User/myPlan.vplanx")
*WARNING* (VERIFIER-9001): An error occurred during 'Create Plan':
'Error transferring https://vmgr:letmein@vm-verifier-team:8080/vmgr/vapi/rest/planning/create - server replied: Bad Request
Failed to open file for writing /home/User/myPlan.vplanx'
Fix the error and try again.
=> nil

Related Topics

verifGetVManagerProjects

verifIsVManagerConnected

verifIsVManagerEnabled

verifVPlanExists

Verifier-vManager Functions


Return to top
 ⠀
X