Previous Section Next Section

A.6 Coverage Groups and Items

A.6.1 Struct and Unit Members

cover cover-group [ using [also] cover-group-options ] is [empty] [also] {

item item-name [: type = expr ] [ using [also] cover-item-options ];

cross item-name1, item-name2, ... ; transition item-name;

};

To enable coverage, extend the global struct as follows:

setup_test() is also {set_config(cover, mode, cover-mode)}

A.6.2 Coverage Group Options

text = string

weight = uint

no_collect

radix = DEC|HEX|BIN

count_only

global

when = bool-expr

external=surecov

agent_options=SureCov options

A.6.3 Coverage Item Options

text = string

when = bool-expr

weight = uint

no_collect

radix=DEC|HEX|BIN

name name

at_least = num

ignore | illegal = cover-item-bool-expr

no_trace

ranges=range( [ n..m ], sub-bucket-name, sub-bucket-size, at-least-number );

per_instance

agent_options=SureCov options

Previous Section Next Section