source:
CIVL/examples/compare/max/max.cvl
| Last change on this file was ea777aa, checked in by , 3 years ago | |
|---|---|
|
|
| File size: 190 bytes | |
| Rev | Line | |
|---|---|---|
| [3ff27cf] | 1 | #include <civlc.cvh> |
| [5af87592] | 2 | |
| 3 | $input int N; | |
| 4 | $input int a[N]; | |
| 5 | $input int B; | |
| 6 | $output int result; | |
| [3ff27cf] | 7 | $assume(0 < N && N < B); |
| [5af87592] | 8 | |
| 9 | int getMax(int* array, int length); | |
| 10 | ||
| 11 | void main(){ | |
| 12 | result = getMax(a, N); | |
| 13 | } |
Note:
See TracBrowser
for help on using the repository browser.
