]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/testTB_Array_ecriture.c
Package description and copyright added.
[pkg-cerco/acc.git] / tests / clight / testTB_Array_ecriture.c
1 int t[5] = {0,0,0,0,0};\r
2 \r
3 int array_ecriture (int tabecr[], int i, int j) {\r
4 \r
5         tabecr[i] = 1;\r
6         tabecr[j] = 5;\r
7 \r
8         return 0;\r
9 }\r
10 \r
11 int main(){\r
12         int a = array_ecriture(t,0,1);\r
13         return t[1];\r
14 }\r