From c23958ef38d060fa38c7b7c769089c366c0155e3 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Mon, 5 Mar 2012 02:43:43 +0100 Subject: [PATCH] sqrt* tests: More tests. --- tests/test-sqrt.h | 1 + 1 file changed, 1 insertion(+) diff --git a/tests/test-sqrt.h b/tests/test-sqrt.h index ffd5af1a7..2521734bb 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); } -- 2.11.0