remquo_spec() coverage

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

coverages	branches	failures	hits/fails
C	x and y are normal, y is not null		3
	x is NaN		3
	y is NaN		3
	x is infinite and y is non-NaN	failure 128: Requirement failed: {remquof.07.01.01} Function executed successfully with EOK error code, while `(isInfinity_Unifloat(x) && !isNan_Unifloat(y)) \|\| (isZero_Unifloat(y) && !isNan_Unifloat(x)) == true` means that EDOM SHALL be set failure 130: Requirement failed: {remquo.07.01.01} Function executed successfully with EOK error code, while `(isInfinity_Unifloat(x) && !isNan_Unifloat(y)) \|\| (isZero_Unifloat(y) && !isNan_Unifloat(x)) == true` means that EDOM SHALL be set failure 132: Requirement failed: {remquol.07.01.01} Function executed successfully with EOK error code, while `(isInfinity_Unifloat(x) && !isNan_Unifloat(y)) \|\| (isZero_Unifloat(y) && !isNan_Unifloat(x)) == true` means that EDOM SHALL be set	3/3
	y is 0 and x is non-NaN	failure 129: Requirement failed: {remquof.07.01.01} Function executed successfully with EOK error code, while `(isInfinity_Unifloat(x) && !isNan_Unifloat(y)) \|\| (isZero_Unifloat(y) && !isNan_Unifloat(x)) == true` means that EDOM SHALL be set failure 131: Requirement failed: {remquo.07.01.01} Function executed successfully with EOK error code, while `(isInfinity_Unifloat(x) && !isNan_Unifloat(y)) \|\| (isZero_Unifloat(y) && !isNan_Unifloat(x)) == true` means that EDOM SHALL be set failure 133: Requirement failed: {remquol.07.01.01} Function executed successfully with EOK error code, while `(isInfinity_Unifloat(x) && !isNan_Unifloat(y)) \|\| (isZero_Unifloat(y) && !isNan_Unifloat(x)) == true` means that EDOM SHALL be set	3/3
	100% (5/5)		15/6