tests/clight/testTB_Array_LE.c.expected

   1 void array_LE (int tabLE[], int tabLE2[], int i, int j) {\r
   2         tabLE[i] = 2;\r
   3         tabLE2[j+1] = 78;\r
   4 }\r
   5 int main(){\r
   6         int t1[5] = {0,0,0,0,0};\r
   7         int t2[5] = {0,0,0,0,0};\r
   8         array_LE(t1,t2,0,0);\r
   9         return t1[0]+t2[1];\r
  10 }\r