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

---
 usvm-jvm/src/test/kotlin/org/usvm/util/JcTestExecutor.kt | 1 -
 1 file changed, 1 deletion(-)

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 839ed40d6f..5261fa5d2c 100644
--- a/usvm-jvm/src/test/kotlin/org/usvm/util/JcTestExecutor.kt
+++ b/usvm-jvm/src/test/kotlin/org/usvm/util/JcTestExecutor.kt
@@ -74,7 +74,6 @@ class JcTestExecutor(
         val execResult = runBlocking {
             runner.executeAsync(uTest)
         }
-        Paths.get("/tmp/lol.txt").appendText("EXECUTION FINISHED")
         val result =
             when (execResult) {
                 is UTestExecutionSuccessResult -> {