module
Top Level Definitions
Alternatives
Expressions
%
covered / total
%
covered / total
%
covered / total
module
Main
31%
6/19
33%
2/6
41%
832/2024
Program Coverage Total
31%
6/19
33%
2/6
41%
832/2024