Limit the execution to 1-element arrays to avoid long running tests

Lipen · Lipen · commit 15a2f08f2c15 · 2025-09-11T17:55:41.000+03:00
diff --git a/usvm-ts/src/test/resources/samples/arrays/ArrayMethods.ts b/usvm-ts/src/test/resources/samples/arrays/ArrayMethods.ts
@@ -13,13 +13,17 @@ class ArrayMethods {
     }
 
     arrayPushIntoNumber(x: number[]) {
-        x.push(123);
-        return x;
+        if (x.length == 1) {
+            x.push(123);
+            return x;
+        }
     }
 
     arrayPushIntoUnknown(x: any[]) {
-        x.push(123);
-        return x;
+        if (x.length == 1) {
+            x.push(123);
+            return x;
+        }
     }
 
     arrayPop(x: boolean) {

Original file line number	Diff line number	Diff line change
`@@ -13,13 +13,17 @@ class ArrayMethods {`
`13`	`13`	`}`
`14`	`14`
`15`	`15`	`arrayPushIntoNumber(x: number[]) {`
`16`		`- x.push(123);`
`17`		`- return x;`
	`16`	`+ if (x.length == 1) {`
	`17`	`+ x.push(123);`
	`18`	`+ return x;`
	`19`	`+ }`
`18`	`20`	`}`
`19`	`21`
`20`	`22`	`arrayPushIntoUnknown(x: any[]) {`
`21`		`- x.push(123);`
`22`		`- return x;`
	`23`	`+ if (x.length == 1) {`
	`24`	`+ x.push(123);`
	`25`	`+ return x;`
	`26`	`+ }`
`23`	`27`	`}`
`24`	`28`
`25`	`29`	`arrayPop(x: boolean) {`