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

verifIsSnapshotLocked

verifIsSnapshotLocked(
g_sessionId
t_snapshotName
)
=> t / nil

Description

Returns the locked status of the snapshot.

Arguments

g_sessionId

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

t_snapshotName

Name of the snapshot to query.

Value Returned

t

Snapshot is locked.

nil

Snapshot is not locked or the command is not successful.

Examples

The following example starts a Verifier session with a cellview 'test/snapshots/verifier' and queries if a snapshot is locked.

sess = verifOpenCellView("test" "snapshots" "verifier")
=> 0
verifIsSnapshotLocked(sess "snap1")
=> t
verifIsSnapshotLocked(sess "snap2")
=> nil
verifIsSnapshotLocked(sess "invalid-snap")
=> t
*WARNING* (VERIFIER-10003): Cannot find snapshot 'invalid-snap' as there is no snapshot with this name.
Use a valid name and try again.
=> nil

Related Topics

verifSetSnapshotLocked

Snapshot Functions


Return to top
 ⠀
X