Cleanup

UnitTestBot · Feb 17, 2025 · a377808 · a377808
1 parent caff766
commit a377808
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/usvm-ts/src/test/kotlin/org/usvm/util/TsTestResolver.kt b/usvm-ts/src/test/kotlin/org/usvm/util/TsTestResolver.kt
@@ -38,7 +38,6 @@ import org.usvm.machine.TsContext
 import org.usvm.machine.expr.TsUnresolvedSort
 import org.usvm.machine.expr.extractBool
 import org.usvm.machine.expr.extractDouble
-import org.usvm.machine.expr.extractInt
 import org.usvm.machine.expr.tctx
 import org.usvm.machine.state.TsMethodResult
 import org.usvm.machine.state.TsState
@@ -165,7 +164,6 @@ open class TsTestStateResolver(
         }
     }
 
-    // UArrayIndexLValue(sort=(FloatingPoint 11 53), ref=0x1, index=#x00000000, arrayType=number)
     private fun resolveArray(expr: UConcreteHeapRef, type: EtsArrayType): TsValue.TsArray<*> {
         val arrayLengthLValue = UArrayLengthLValue(expr, type, ctx.sizeSort)
         val length = model.eval(memory.read(arrayLengthLValue)) as KBitVec32Value