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.