module
Top Level Definitions
Alternatives
Expressions
%
covered / total
%
covered / total
%
covered / total
module
Main
80%
21/26
51%
22/43
19%
53/277
Program Coverage Total
80%
21/26
51%
22/43
19%
53/277