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)