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