spec_B() coverage
specification void spec_B( int x )
coverages
branches
hits
—
—
1