specification functions coverage
stimuli
coverages
branches
spec_A
A1
100% (2/2)
A2
100% (2/2)
A
75% (3/4)
spec_B
A1
0% (0/4)
A2
0% (0/4)
A
0% (0/4)