minor

UnitTestBot · Oct 30, 2023 · cabb4e0 · cabb4e0
1 parent b8ae331
commit cabb4e0
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/usvm-jvm/src/test/kotlin/org/usvm/util/JcTestExecutor.kt b/usvm-jvm/src/test/kotlin/org/usvm/util/JcTestExecutor.kt
@@ -28,8 +28,6 @@ import org.usvm.memory.URegisterStackLValue
 import org.usvm.model.UModelBase
 import org.usvm.types.first
 import org.usvm.types.firstOrNull
-import java.nio.file.Paths
-import kotlin.io.path.appendText
 
 /**
  * A class, responsible for resolving a single [JcTest] for a specific method from a symbolic state.