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

! @expect verified

subroutine addfive(x)
  implicit none
  integer, intent(inout) :: x
  x = x + 5
end subroutine addfive

program main
  implicit none
  integer :: x = 2
  call addfive(x)
  !print *, x == 7
  !$CVL $assert(x /= 7)
end program main