source: CIVL/examples/compare/sumNspec.cvl@ bfebb46

#include<civlc.h>
#include<stdio.h>
$input int N;
$output int sum;

void main() {
  int localsum = 0;
  for (int i = 1; i <= N; i++) {
          localsum+=i;
  } 
  sum = localsum;
}