little fix of JcMethod.toJavaMethod

UnitTestBot · Nov 13, 2023 · dd92c81 · dd92c81
1 parent 6d9e193
commit dd92c81
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/usvm-jvm-instrumentation/src/main/kotlin/org/usvm/instrumentation/util/Jacodb.kt b/usvm-jvm-instrumentation/src/main/kotlin/org/usvm/instrumentation/util/Jacodb.kt
@@ -127,7 +127,7 @@ fun TypeName.toJcClassOrInterface(jcClasspath: JcClasspath): JcClassOrInterface?
 
 fun JcMethod.toJavaMethod(classLoader: ClassLoader): Method {
     val klass = Class.forName(enclosingClass.name, false, classLoader)
-    return klass.methods.find { it.isSameSignatures(this) }
+    return (klass.methods + klass.declaredMethods).find { it.isSameSignatures(this) }
         ?: throw TestExecutorException("Can't find method in classpath")
 }