hypot_spec() coverage

specification Unifloat *hypot_spec( CallContext context, Unifloat *x, Unifloat *y, ErrorCode *errno )

coverages branches failures hits/fails
C x or y is Infinity   252
x or y is NaN   228
x is Normal, y is Normal failure 23: Requirement failed: {hypotl.08} both arguments are subnormal and the correct result is subnormal
failure 24: Requirement failed: {hypotl.08} both arguments are subnormal and the correct result is subnormal
failure 25: Requirement failed: {hypotl.08} both arguments are subnormal and the correct result is subnormal
failure 26: Requirement failed: {hypotl.08} both arguments are subnormal and the correct result is subnormal
972/4
100% (3/3)   1452/4