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 110: 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 112: 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 114: 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 111: 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 113: 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 115: 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