From a5b33dcab2e6218e9e17f36a26520fd1dabc58bb Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Fri, 8 Sep 2006 15:43:41 +0000
Subject: MAJ des tests C

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@86 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/c/fib.c | 12 ++++++++++++
 1 file changed, 12 insertions(+)

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

diff --git a/test/c/fib.c b/test/c/fib.c
index 34e7baa9..763fee80 100644
--- a/test/c/fib.c
+++ b/test/c/fib.c
@@ -1,3 +1,6 @@
+#include <stdlib.h>
+#include <stdio.h>
+
 int fib(int n)
 {
   if (n < 2) 
@@ -5,3 +8,12 @@ int fib(int n)
   else
     return fib(n-1) + fib(n-2);
 }
+
+int main(int argc, char ** argv)
+{
+  int n, r;
+  if (argc >= 2) n = atoi(argv[1]); else n = 30;
+  r = fib(n);
+  printf("fib(%d) = %d\n", n, r);
+  return 0;
+}
-- 
cgit