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
18
x and y are infinity
6
x is infinity, y - finite value
6
x - finite value, y - infinity
6
x and y - finite values
failure 53: 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 54: 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 55: 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
36/
3
100% (5/5)
72/
3