module
Top Level Definitions
Alternatives
Expressions
%
covered / total
%
covered / total
%
covered / total
module
Main
92%
50/54
26%
13/50
33%
338/1005
Program Coverage Total
92%
50/54
26%
13/50
33%
338/1005