index
:
compcert
FPcomp
aarch64
conditional-move
dev/michalis
floatofintu
inl-cse-const
master
no-pervasives
CompCert fork with minor modifications for Vericert.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
test
/
c
/
fib.c
blob: 34e7baa94bf206741d8aac634841e8a9065cab65 (
plain
)
1
2
3
4
5
6
7
int
fib
(
int
n
)
{
if
(
n
<
2
)
return
1
;
else
return
fib
(
n
-
1
) +
fib
(
n
-
2
);
}