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 -> {