From f0f25eabe5b374f20a5db30f652f6e994fff3fb3 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Fri, 13 Sep 2019 14:32:25 +0200
Subject: Scaling down most of c/ CompCert tests

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

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

diff --git a/test/c/nbody.c b/test/c/nbody.c
index 530c41fa..207184f7 100644
--- a/test/c/nbody.c
+++ b/test/c/nbody.c
@@ -140,7 +140,7 @@ void setup_bodies(void)
 
 int main(int argc, char ** argv)
 {
-  int n = argc < 2 ? 1000000 : atoi(argv[1]);
+  int n = argc < 2 ? 200 : atoi(argv[1]);
   int i;
 
   setup_bodies();
-- 
cgit