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)