source: CIVL/examples/arithmetic/assoc.cvl@ 97cfc53

#include <civlc.h>
int n = 3;
$input double a[n];

void main() {
  double s0 = 0.0;
  double s1 = 0.0;
  for (int i = 0; i < n; i++) {
    s0 += a[i];
    s1 += a[n-1-i];
  }
  $assert s0 == s1;
}