Imported Upstream version 0.1

[pkg-cerco/frama-c-cost-plugin.git] / plugin / tests / success / tab_sum.c

#define SIZE 5

int sum (int tab[], int size) {
  int i, res = 0;

  for (i = 0 ; i < size ; i++) res += tab[i];

  return res;
}

int main () {
  int tab[5] = { 3, 18, -9, 23, 17 };
  return (sum(tab, SIZE));
}