Skip to content

Commit 01b060d

Browse files
committed
Use more appropriate soot method
1 parent 3e156db commit 01b060d

File tree

1 file changed

+1
-1
lines changed
  • utbot-framework/src/main/kotlin/org/utbot/engine

1 file changed

+1
-1
lines changed

utbot-framework/src/main/kotlin/org/utbot/engine/Traverser.kt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1388,7 +1388,7 @@ class Traverser(
13881388
}
13891389

13901390
replacedClassId?.let {
1391-
val sootType = Scene.v().getSootClass(it.canonicalName).type
1391+
val sootType = Scene.v().getRefType(it.canonicalName)
13921392
val typeStorage = typeResolver.constructTypeStorage(sootType, useConcreteType = false)
13931393

13941394
val typeHardConstraint = typeRegistry.typeConstraint(addr, typeStorage).all().asHardConstraint()

0 commit comments

Comments
 (0)