source: CIVL/mods/dev.civl.com/examples/compare/max/max.cvl@ cb4d4f4

#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);
}