From: Bruno Haible Date: Mon, 5 Mar 2012 01:43:43 +0000 (+0100) Subject: sqrt* tests: More tests. X-Git-Tag: v0.1~955 X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=c23958ef38d060fa38c7b7c769089c366c0155e3;p=gnulib.git sqrt* tests: More tests. --- diff --git a/tests/test-sqrt.h b/tests/test-sqrt.h index ffd5af1a7f..2521734bbf 100644 --- a/tests/test-sqrt.h +++ b/tests/test-sqrt.h @@ -35,6 +35,7 @@ test_function (void) DOUBLE x = L_(16.0) * RANDOM[i]; /* 0.0 <= x <= 16.0 */ DOUBLE y = SQRT (x); DOUBLE z = y * y - x; + ASSERT (y >= L_(0.0)); ASSERT (z > - L_(16.0) / TWO_MANT_DIG && z < L_(16.0) / TWO_MANT_DIG); }