]> matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/blob - tests/test2.c
Imported Upstream version 0.1
[pkg-cerco/acc-trusted.git] / tests / test2.c
1 char a[] = {3, 2, 7, -4};
2 char treshold = 4;
3
4 int main() {
5         char j;
6         char *p = a;
7         int found = 0;
8         for (j=0; j < 4; j++) {
9                 if (*p <= treshold) { found++; }
10                 p++;
11         }
12         return found;
13 }