From 5b6c019a507688dfcf63b9ef54f7731137422ab5 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Tue, 10 Sep 2019 17:50:42 +0200
Subject: Starting to modify official CompCert tests to be passable with the
 simu

---
 test/c/fftsp.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/c/fftsp.c')

diff --git a/test/c/fftsp.c b/test/c/fftsp.c
index 26b18b62..316ef714 100644
--- a/test/c/fftsp.c
+++ b/test/c/fftsp.c
@@ -153,7 +153,7 @@ int main(int argc, char ** argv)
   float enp, t, y, z, zr, zi, zm, a;
   float * xr, * xi, * pxr, * pxi;
 
-  if (argc >= 2) n = atoi(argv[1]); else n = 12;
+  if (argc >= 2) n = atoi(argv[1]); else n = 6;
   np = 1 << n;
   enp = np; 
   npm = np / 2  - 1;  
-- 
cgit