source: CIVL/examples/languageFeatures/add_seq.cvl@ 38b7d06

/* Compare sequential and parallel sum of array */
#include<civlc.h>
$input int N;
$assume N>=0;
$input double a[N];
double sum_seq;

void main() {
  sum_seq = 0.0;
  for (int i=0; i<N; i++)
    sum_seq += a[i];
}