Imported Upstream version 0.1

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

int is_sorted (int *tab, int size) {
  int i, res = 1;

  for (i = 0 ; i < size-1 ; i++) if (tab[i] > tab[i+1]) res = 0;

  return res;
}