Imported Upstream version 0.1

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

int fact (int n) {
  int i, res = 1;

  for (i = 1 ; i <= n ; i++) res *= i;

  return res;
}

int main () {
  return (fact(10));
}