Name
cov_store — Writes a test coverage to a file.
Synopsis
cov_store
(
|
in fname varchar , |
in
add_comments
integer
); |
Description
This function is used to produce a coverage file called
fname
. The expected format of the file is
described in the Branch Coverage
section.
By default a normal concise coverage will be produced. If the
add_comment
parameter is set to 1 then the
coverage will include code excerpts contained in line entities.
Parameters
fname
Name of coverage file to load.
add_comments
This flag controls whether to use coverage extensions. By default this is 0. If 1 is supplied then extensions are used.
Return Types
None.