Skip to content

Commit 2c9d1a3

Browse files
authored
Respect another methods in interface for lambda (#1424)
1 parent 3cb7383 commit 2c9d1a3

File tree

1 file changed

+2
-1
lines changed
  • utbot-framework-api/src/main/kotlin/org/utbot/framework/plugin/api

1 file changed

+2
-1
lines changed

utbot-framework-api/src/main/kotlin/org/utbot/framework/plugin/api/Api.kt

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,7 @@ import soot.jimple.Stmt
5454
import java.io.File
5555
import kotlin.contracts.ExperimentalContracts
5656
import kotlin.contracts.contract
57+
import org.utbot.common.isAbstract
5758

5859
const val SYMBOLIC_NULL_ADDR: Int = 0
5960

@@ -575,7 +576,7 @@ class UtLambdaModel(
575576
val lambdaMethodId: MethodId
576577
get() {
577578
if (isFake) {
578-
val targetMethod = samType.jClass.declaredMethods.single()
579+
val targetMethod = samType.jClass.declaredMethods.single { it.isAbstract }
579580
return object : MethodId(
580581
declaringClass,
581582
fakeName,

0 commit comments

Comments
 (0)