testbench-fp does not check CVTINT or CMP
Created by: davidharrishmc
At line 952, testbench-fp excludes checking CVTINT or CMP.
assign CheckNow = ((DivDone | ~divsqrtop) | (TEST == "add" | TEST == "fma" | TEST == "sub")) & (UnitVal !== CVTINTUNIT) & (UnitVal !==
CMPUNIT);
CVTINT code later checks the flags but not the result. There is no CMP check at all.
As a consequence, it is possible to change a bit in the expected answer (e.g. tests/fp/vectors/ui32_to_f128_rne.tv or f128_eq_rne.tv) and have the mismatch go undetected.