From 52730db2cd1a7e4e8e2b514b100defef047ddeb0 Mon Sep 17 00:00:00 2001
From: IlyaMuravjov <muravjovilya@gmail.com>
Date: Mon, 28 Oct 2024 12:04:45 +0300
Subject: [PATCH] Enable `ConcreteExecutorTests.static interface method call
 test()`

---
 .../org/usvm/instrumentation/executor/ConcreteExecutorTests.kt | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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
+}