Fix test

Author: Lipen

usvm-ts/src/test/resources/samples/arrays/InputArrays.ts

@@ -60,24 +60,24 @@ class InputArrays {
     }
 
     conditionalLength(input: number) {
-        const arr = createNumberArray(input);
-        const res = processArray(arr);
+        const arr: number[] = createNumberArray(input);
+        const res: number[] = processArray(arr);
         if (res.length > 0) return 1;
         if (input > 0) return -1; // unreachable, since 'input > 0' implies 'res.length > 0'
         return 0;
     }
 }
 
 function createNumberArray(size: number): number[] {
-    const arr = [];
+    const arr = new Array<number>();
     for (let i = 0; i < size && i < 5; i++) {
         arr.push(i + 1);
     }
     return arr;
 }
 
 function processArray(arr: number[]): number[] {
-    const result = [];
+    const result = new Array<number>();
     for (let i = 0; i < arr.length; i++) {
         result.push(arr[i] * 2);
     }