minor

UnitTestBot · Aug 17, 2023 · a5ef663 · a5ef663
1 parent 433d423
commit a5ef663
Showing 1 changed file with 1 addition 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
@@ -57,7 +57,7 @@ class JcTestExecutor(
     override fun resolve(method: JcTypedMethod, state: JcState): JcTest {
         val model = state.models.first()
 
-        val ctx = state.pathConstraints.ctx as JcContext
+        val ctx = state.pathConstraints.ctx
 
         val memoryScope = MemoryScope(ctx, model, model, method)
 
@@ -112,7 +112,6 @@ class JcTestExecutor(
                 }
 
                 else -> {
-                    println("RES = $execResult")
                     error("No result")
                 }
             }