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

verifRemoveReq

verifRemoveReq(
g_sessionId
g_reqId
)
=> t / nil

Description

Deletes one single requirement or a list of requirements in a Verifier session.

Arguments

g_sessionId

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

g_reqId

The single requirement ID or list of requirement IDs.

Value Returned

t

Specified requirements are deleted from the Verifier session.

nil

Specified requirements are not deleted from the Verifier session.

Examples

The following example opens a Verifier cellview and deletes the specified requirements.

uid = verifOpenCellView("test" "results" "verifier")
=> 0

Delete a list of requirements:

verifRemoveReq(uid list("ID1.1" "ID1.2"))
=> t

Deletes a requirement.

verifRemoveReq(uid "ID1")
=> t

Related Topics

verifAddReq

verifMoveReq


Return to top
 ⠀
X