From f6cbce233ef89c30bbc8334c800e8a205677ec8b Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Sat, 26 Aug 2017 10:04:43 +0200
Subject: Reduce the running times of the tests in test/c

Running times were too long when executed on low-end ARM or PowerPC hardware, or under QEMU emulation.
---
 test/c/vmach.c | 4 ----
 1 file changed, 4 deletions(-)

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

diff --git a/test/c/vmach.c b/test/c/vmach.c
index 84ab1f94..815cb710 100644
--- a/test/c/vmach.c
+++ b/test/c/vmach.c
@@ -203,12 +203,8 @@ unsigned int wordcode_tak[] = {
 
 int main(int argc, char ** argv)
 {
-  int i;
-
   printf("fib(30) = %ld\n", wordcode_interp(wordcode_fib));
   printf("tak(18, 12, 6) = %ld\n", wordcode_interp(wordcode_tak));
-  for (i = 0; i < 10; i++) (void)  wordcode_interp(wordcode_fib);
-  for (i = 0; i < 500; i++) (void)  wordcode_interp(wordcode_tak);
 
   return 0;
 }
-- 
cgit