source: CIVL/examples/languageFeatures/comma.cvl@ a6d2043

#include<civlc.cvh>

$input int n;

void main() {
  int i,j, k;
  
  k = 0;
  for (i=0, j=1; i<=n; i++,j++) {
    k += i*j;
  }
  $assert(k == n*(n+1)*(n+2)/3);
}