Replace executor with test interpreter

UnitTestBot · Dec 6, 2023 · c0356ce · c0356ce
1 parent 635e817
commit c0356ce
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/usvm-jvm/src/test/kotlin/org/usvm/samples/objects/TestStatics.kt b/usvm-jvm/src/test/kotlin/org/usvm/samples/objects/TestStatics.kt
@@ -3,12 +3,8 @@ package org.usvm.samples.objects
 import org.junit.jupiter.api.Test
 import org.usvm.samples.JavaMethodTestRunner
 import org.usvm.test.util.checkers.eq
-import org.usvm.util.JcTestResolverType
 
 class TestStatics : JavaMethodTestRunner() {
-    override val resolverType: JcTestResolverType
-        get() = JcTestResolverType.CONCRETE_EXECUTOR
-
     @Test
     fun `Test static field access`() {
         checkDiscoveredProperties(