pair_content_spec() coverage
specification IntT pair_content_spec( CallContext context, ShortT pair, ColorPair *color_pair )
coverages
branches
failures
hits/fails
pseudo_coverage
The only branch
failure 202: Requirement failed: {pair_content.09} f and b are from 0 to COLORS-1
65/
1
100% (1/1)
65/
1