fdim_spec() coverage
specification Unifloat *fdim_spec( CallContext context, Unifloat *x, Unifloat *y, ErrorCode *errno )
coverages
branches
failures
hits/fails
C
x or y is NaN
0
x and y are infinity
0
x is infinity, y - finite value
0
x - finite value, y - infinity
0
x and y - finite values
failure 30: Requirement failed: {fdimf.08.01.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat( model_res ) == true` means that ERANGE SHALL be set
failure 31: Requirement failed: {fdim.08.01.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat( model_res ) == true` means that ERANGE SHALL be set
failure 32: Requirement failed: {fdiml.08.01.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat( model_res ) == true` means that ERANGE SHALL be set
3/
3
20% (1/5)
3/
3