Add test with push-based array creation

Author: Lipen

usvm-ts/src/test/kotlin/org/usvm/samples/arrays/InputArrays.kt

@@ -160,4 +160,15 @@ class InputArrays : TsMethodTestRunner() {
             },
         )
     }
+
+    @Test
+    fun `test conditionalLength`() {
+        val method = getMethod("conditionalLength")
+        discoverProperties<TsTestValue.TsNumber, TsTestValue.TsNumber>(
+            method = method,
+            { x, r ->
+                (r eq 1) && (x.number > 0.0)
+            },
+        )
+    }
 }

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

@@ -58,4 +58,28 @@ class InputArrays {
 
         return x;
     }
+
+    conditionalLength(input: number) {
+        const arr = createNumberArray(input);
+        const res = 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 = [];
+    for (let i = 0; i < size && i < 5; i++) {
+        arr.push(i + 1);
+    }
+    return arr;
+}
+
+function processArray(arr: number[]): number[] {
+    const result = [];
+    for (let i = 0; i < arr.length; i++) {
+        result.push(arr[i] * 2);
+    }
+    return result;
 }