spec_B() coverage

specification void spec_B( int x )

coverages branches hits
1