specification functions coverage
spec. functions
coverages
branches
spec_A
A1
100% (2/2)
A2
100% (2/2)
A
75% (3/4)
spec_B
B1
33% (1/3)
B2
50% (1/2)
B3
50% (1/2)
B
8% (1/12)