From eadb21635c396481664015208706f5e82a4993e2 Mon Sep 17 00:00:00 2001 From: Rustam Sadykov Date: Fri, 25 Nov 2022 10:38:03 +0300 Subject: [PATCH] respect another methods in interface for lambda --- .../src/main/kotlin/org/utbot/framework/plugin/api/Api.kt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/utbot-framework-api/src/main/kotlin/org/utbot/framework/plugin/api/Api.kt b/utbot-framework-api/src/main/kotlin/org/utbot/framework/plugin/api/Api.kt index 5d73d3b825..cd00d1cb17 100644 --- a/utbot-framework-api/src/main/kotlin/org/utbot/framework/plugin/api/Api.kt +++ b/utbot-framework-api/src/main/kotlin/org/utbot/framework/plugin/api/Api.kt @@ -54,6 +54,7 @@ import soot.jimple.Stmt import java.io.File import kotlin.contracts.ExperimentalContracts import kotlin.contracts.contract +import org.utbot.common.isAbstract const val SYMBOLIC_NULL_ADDR: Int = 0 @@ -575,7 +576,7 @@ class UtLambdaModel( val lambdaMethodId: MethodId get() { if (isFake) { - val targetMethod = samType.jClass.declaredMethods.single() + val targetMethod = samType.jClass.declaredMethods.single { it.isAbstract } return object : MethodId( declaringClass, fakeName,