source: CIVL/examples/fortran/smack/function_fail_2.f90@ 3d3af8f

1.23 2.0 acw/focus-triggers main test-branch
Last change on this file since 3d3af8f was e3f356c, checked in by Wenhao Wu <wuwenhao@…>, 5 years ago

merge from branch omptrans for tacas2022

git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@5471 fb995dde-84ed-4084-dfe6-e5aef3e2452c

  • Property mode set to 100755
File size: 391 bytes
Line 
1! @expect error
2
3pure function cap(x)
4 implicit none
5 integer, intent(in) :: x
6 integer :: y
7 integer :: cap
8 y = x
9 if (10 < y) then
10 y = 10
11 end if
12 cap = y
13end function
14
15
16program main
17 implicit none
18 integer :: cap
19 integer :: x
20!$CVL $input
21 integer :: n
22 !$CVL $assert(cap(2) == 2)
23 !$CVL $assert(cap(15) /= 10)
24 x = n
25 !$CVL $assert(cap(x) <= 10)
26end program main
Note: See TracBrowser for help on using the repository browser.