source: CIVL/mods/dev.civl.com/examples/fortran/smack/fib.f90@ cb4d4f4

! @expect verified
! @flag --unroll=10

recursive function fib(n)
  implicit none
  integer, intent(in) :: n
  integer :: fib
  if (n <= 0) then
    fib = 0
  else if (n == 1) then
    fib = 1
  else 
    fib = fib(n - 1) + fib(n - 2)
  end if
end function

program main
  implicit none
  integer :: fib
  !print *, fib(5) == 5
  !print *, fib(6) == 8 
  integer :: z
  !z = fib(2)
  !$CVL $assert(fib(5) == 5)
  !$CVL $assert(fib(6) == 8)
end program main