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

! @expect error

pure function cap(x)
  implicit none
  integer, intent(in) :: x
  integer :: y
  integer :: cap
  y = x
  if (10 < y) then
      y = 10
  end if
  cap = y
end function


program main
  implicit none
  integer :: cap
  integer :: x
!$CVL $input
  integer :: n
  !$CVL $assert(cap(2) /= 2)
  !$CVL $assert(cap(15) == 10)
  x = n
  !$CVL $assert(cap(x) <= 10)
end program main