module
Top Level Definitions
Alternatives
Expressions
%
covered / total
%
covered / total
%
covered / total
module
Main
88%
23/26
69%
30/43
55%
154/277
Program Coverage Total
88%
23/26
69%
30/43
55%
154/277