verifExportCoverageDataForReq

verifExportCoverageDataForReq(
g_sessionId
t_fileName
[ ?reqId t_reqId ]
[ ?indented g_indented ]
)
=> t / nil

Exports coverage data for the specified requirement.

g_sessionId	Integer, string number, or window specifying the Verifier session ID. For example, `0`, `"0"`, or `window(2)`.
t_fileName	The name of the JSON file to which the requirement coverage data is exported.
?reqId t_reqId
	The requirement ID.
?indented g_indented
	If enabled, exports the data to the JSON in indented format, which is printed in multiple lines. Otherwise, the data is exported to the JSON in a compact format. The default value is `nil`.

`t`	Coverage data of the specified requirements is exported to the JSON file.
`nil`	Coverage data is not exported.

The following example exports coverage data for the requirements in the specified session.

Opens an existing Verifier cellview that includes a requirement with verification space.

uid = verifOpenCellView("test" "coverages" "verifier" ?openWindow nil) 
=> 0

Export all requirements in compact format

verifExportCoverageDataForReq(uid "allReqs.json")

=> t

Exports the specified requirements in indented format

verifExportCoverageDataForReq(uid "req.json" ?reqId "3a7333a6-d5bb-49a8-9d62-0048bc92e5cb" ?indented t)

=> t