source: CIVL/examples/compare/max/max.cvl@ beab7f2

#include <civlc.cvh>

$input int N;
$input int a[N];
$input int B;
$output int result;
$assume(0 < N && N < B);

int getMax(int* array, int length);

void main(){
  result = getMax(a, N);
}