From cabb4e0a40cd680aaa8bf503965bedfd96690ff2 Mon Sep 17 00:00:00 2001
From: DaniilStepanov <stepanov0995@mail.ru>
Date: Mon, 30 Oct 2023 17:48:25 +0300
Subject: [PATCH] minor

---
 usvm-jvm/src/test/kotlin/org/usvm/util/JcTestExecutor.kt | 2 --
 1 file changed, 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
index 5261fa5d2c..d8879c9c81 100644
--- 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.