module
Top Level Definitions
Alternatives
Expressions
%
covered / total
%
covered / total
%
covered / total
module
Main
96%
119/123
48%
12/25
57%
1841/3220
Program Coverage Total
96%
119/123
48%
12/25
57%
1841/3220