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 416: 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 417: 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 418: 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 419: 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 420: 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 421: 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