You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Random tests fail with 1 ULP error for certain 64 bit square root conditions.
Need to check whether test generator or DivSqrt module is responsible and rectify it.
Utilization of long double for test generation could be causing the error: pexpected = posit<nbits, es>(std::sqrt((long double)pa));
The text was updated successfully, but these errors were encountered:
Random tests fail with 1 ULP error for certain 64 bit square root conditions.
Need to check whether test generator or DivSqrt module is responsible and rectify it.
Utilization of long double for test generation could be causing the error:
pexpected = posit<nbits, es>(std::sqrt((long double)pa));
The text was updated successfully, but these errors were encountered: