module
Top Level Definitions
Alternatives
Expressions
%
covered / total
%
covered / total
%
covered / total
module
Main
50%
5/10
11%
2/18
10%
23/216
Program Coverage Total
50%
5/10
11%
2/18
10%
23/216