Skip to content

Commit aaa514a

Browse files
committed
Fixed failed tests
1 parent d4bf5b4 commit aaa514a

File tree

1 file changed

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

1 file changed

+3
-1
lines changed

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

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2347,7 +2347,9 @@ class Traverser(
23472347
// better than engine.
23482348
val types = instanceOfConstraint?.typeStorage?.possibleConcreteTypes ?: instance.possibleConcreteTypes
23492349

2350-
val allPossibleConcreteTypes = typeRegistry.findInheritorsIncludingTypes(instance.type) { setOf(instance.type) }
2350+
val allPossibleConcreteTypes = typeResolver
2351+
.constructTypeStorage(instance.type, useConcreteType = false)
2352+
.possibleConcreteTypes
23512353

23522354
val methodInvocationTargets = findLibraryTargets(instance.type, methodSubSignature)?.takeIf {
23532355
// we have no specified types, so we can take only library targets (if present) for optimization purposes

0 commit comments

Comments
 (0)