tests/clight/testTB_Array_double.c.expected

   1 int t2[5] = {13, 21, 34, 55, 89};\r
   2 \r
   3 int array_double (int tableau1[], int tableau2[], int i, int j) {\r
   4         int a;\r
   5 \r
   6         a = tableau2[i];\r
   7 \r
   8         tableau1[j] = tableau2[j]+a;\r
   9 \r
  10         return tableau1[j];\r
  11 }\r
  12 int main(){\r
  13         int t1[5] = {0,0,0,0,0};\r
  14         return array_double(t1,t2,0,0);\r
  15 }\r