diff --git a/usvm-jvm-instrumentation/src/test/kotlin/org/usvm/instrumentation/executor/ConcreteExecutorTests.kt b/usvm-jvm-instrumentation/src/test/kotlin/org/usvm/instrumentation/executor/ConcreteExecutorTests.kt index e81384c1ad..942f92bd0a 100644 --- a/usvm-jvm-instrumentation/src/test/kotlin/org/usvm/instrumentation/executor/ConcreteExecutorTests.kt +++ b/usvm-jvm-instrumentation/src/test/kotlin/org/usvm/instrumentation/executor/ConcreteExecutorTests.kt @@ -116,7 +116,6 @@ class ConcreteExecutorTests: UTestConcreteExecutorTest() { } @Test - @Disabled fun `static interface method call test`() = executeTest { val uTest = UTestCreator.StaticInterfaceMethodCall.callStaticInterfaceMethod(jcClasspath) val res = uTestConcreteExecutor.executeAsync(uTest) @@ -288,4 +287,4 @@ class ConcreteExecutorTests: UTestConcreteExecutorTest() { assertContains(res.resultState.statics.keys.map { it.name }, "STATIC_FIELD") } -} \ No newline at end of file +}