Cleanup

Lipen · Lipen · commit 97dea5fe749f · 2025-09-11T19:22:35.000+03:00
diff --git a/usvm-ts/src/main/kotlin/org/usvm/machine/expr/ReadArray.kt b/usvm-ts/src/main/kotlin/org/usvm/machine/expr/ReadArray.kt
@@ -59,15 +59,14 @@ internal fun TsExprResolver.handleArrayAccess(
     }
 
     // Read the array element.
-    readArray(scope, arrayRef, bvIndex, arrayType, options.maxArraySize)
+    readArray(scope, arrayRef, bvIndex, arrayType)
 }
 
 fun TsContext.readArray(
     scope: TsStepScope,
     array: UHeapRef,
     index: UExpr<TsSizeSort>,
     arrayType: EtsArrayType,
-    maxArraySize: Int,
 ): UExpr<*>? {
     checkNotFake(array)
 

Original file line number	Diff line number	Diff line change
`@@ -59,15 +59,14 @@ internal fun TsExprResolver.handleArrayAccess(`
`59`	`59`	`}`
`60`	`60`
`61`	`61`	`// Read the array element.`
`62`		`- readArray(scope, arrayRef, bvIndex, arrayType, options.maxArraySize)`
	`62`	`+ readArray(scope, arrayRef, bvIndex, arrayType)`
`63`	`63`	`}`
`64`	`64`
`65`	`65`	`fun TsContext.readArray(`
`66`	`66`	`scope: TsStepScope,`
`67`	`67`	`array: UHeapRef,`
`68`	`68`	`index: UExpr<TsSizeSort>,`
`69`	`69`	`arrayType: EtsArrayType,`
`70`		`- maxArraySize: Int,`
`71`	`70`	`): UExpr<*>? {`
`72`	`71`	`checkNotFake(array)`
`73`	`72`