From 283afabc594b385e4f17fa59647aa8cddee27f85 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 16 Dec 2009 14:37:42 +0000
Subject: Test result more reproducible

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1201 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/c/Results/fft | 2 +-
 test/c/fft.c       | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'test/c')

diff --git a/test/c/Results/fft b/test/c/Results/fft
index e08b2da..a48608b 100644
--- a/test/c/Results/fft
+++ b/test/c/Results/fft
@@ -1 +1 @@
-262144 points, error 3.20142e-10
+262144 points, result OK
diff --git a/test/c/fft.c b/test/c/fft.c
index 48f1656..884a856 100644
--- a/test/c/fft.c
+++ b/test/c/fft.c
@@ -186,6 +186,6 @@ int main(int argc, char ** argv)
   }
   zm = zr;
   if (zr < zi) zm = zi;
-  printf("%d points, error %g\n", np, zm);
+  printf("%d points, %s\n", np, zm < 1e-9 ? "result OK" : "WRONG result");
   return 0;
 }
-- 
cgit v1.2.3