Fix imports

UnitTestBot · Dec 9, 2024 · a739912 · a739912
1 parent 5dbbd07
commit a739912
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/usvm-ts/src/test/kotlin/org/usvm/samples/Arguments.kt b/usvm-ts/src/test/kotlin/org/usvm/samples/Arguments.kt
@@ -3,7 +3,7 @@ package org.usvm.samples
 import org.jacodb.ets.model.EtsScene
 import org.jacodb.ets.utils.loadEtsFileAutoConvert
 import org.junit.jupiter.api.Disabled
-import org.usvm.TSObject
+import org.usvm.api.TSObject
 import org.usvm.util.TSMethodTestRunner
 import org.usvm.util.getResourcePath
 import kotlin.test.Test

diff --git a/usvm-ts/src/test/kotlin/org/usvm/samples/MinValue.kt b/usvm-ts/src/test/kotlin/org/usvm/samples/MinValue.kt
@@ -3,7 +3,7 @@ package org.usvm.samples
 import org.jacodb.ets.model.EtsScene
 import org.jacodb.ets.utils.loadEtsFileAutoConvert
 import org.junit.jupiter.api.Disabled
-import org.usvm.TSObject
+import org.usvm.api.TSObject
 import org.usvm.util.TSMethodTestRunner
 import org.usvm.util.getResourcePath
 import kotlin.test.Test

diff --git a/usvm-ts/src/test/kotlin/org/usvm/samples/StaticMethods.kt b/usvm-ts/src/test/kotlin/org/usvm/samples/StaticMethods.kt
@@ -2,7 +2,7 @@ package org.usvm.samples
 
 import org.jacodb.ets.model.EtsScene
 import org.jacodb.ets.utils.loadEtsFileAutoConvert
-import org.usvm.TSObject
+import org.usvm.api.TSObject
 import org.usvm.util.TSMethodTestRunner
 import org.usvm.util.getResourcePath
 import kotlin.test.Test

diff --git a/usvm-ts/src/test/kotlin/org/usvm/samples/TypeCoercion.kt b/usvm-ts/src/test/kotlin/org/usvm/samples/TypeCoercion.kt
@@ -3,7 +3,7 @@ package org.usvm.samples
 import org.jacodb.ets.model.EtsScene
 import org.jacodb.ets.utils.loadEtsFileAutoConvert
 import org.junit.jupiter.api.Test
-import org.usvm.TSObject
+import org.usvm.api.TSObject
 import org.usvm.util.TSMethodTestRunner
 import org.usvm.util.getResourcePath
 

diff --git a/usvm-ts/src/test/kotlin/org/usvm/util/TSMethodTestRunner.kt b/usvm-ts/src/test/kotlin/org/usvm/util/TSMethodTestRunner.kt
@@ -9,7 +9,7 @@ import org.jacodb.ets.base.EtsUndefinedType
 import org.jacodb.ets.base.EtsUnknownType
 import org.jacodb.ets.model.EtsMethod
 import org.jacodb.ets.model.EtsScene
-import org.usvm.NoCoverage
+import org.usvm.api.NoCoverage
 import org.usvm.PathSelectionStrategy
 import org.usvm.machine.TSMachine
 import org.usvm.api.TSMethodCoverage