logb_spec() coverage

specification Unifloat *logb_spec( CallContext context, Unifloat *x, ErrorCode *errno )

coverages	branches	failures	hits/fails
C	The argument is infinity		6
	The argument is NaN		6
	The argument is zero	failure 410: Requirement failed: {logbf.08.01.01} Function executed successfully with EOK error code, while `isZero_Unifloat(x) == true` means that ERANGE SHALL be set failure 411: Requirement failed: {logbf.08.01.01} Function executed successfully with EOK error code, while `isZero_Unifloat(x) == true` means that ERANGE SHALL be set failure 412: Requirement failed: {logb.08.01.01} Function executed successfully with EOK error code, while `isZero_Unifloat(x) == true` means that ERANGE SHALL be set failure 413: Requirement failed: {logb.08.01.01} Function executed successfully with EOK error code, while `isZero_Unifloat(x) == true` means that ERANGE SHALL be set failure 414: Requirement failed: {logbl.08.01.01} Function executed successfully with EOK error code, while `isZero_Unifloat(x) == true` means that ERANGE SHALL be set failure 415: Requirement failed: {logbl.08.01.01} Function executed successfully with EOK error code, while `isZero_Unifloat(x) == true` means that ERANGE SHALL be set	6/6
	The argument is subnormal		6
	The argument is normal		24
	100% (5/5)		48/6