Skip to content

Commit 9ba1aae

Browse files
committed
Fix traverser again
1 parent d151e86 commit 9ba1aae

File tree

1 file changed

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

1 file changed

+6
-6
lines changed

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

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1521,14 +1521,14 @@ class Traverser(
15211521
NoImplementors -> {
15221522
if (!type.isAbstractType) {
15231523
findConcreteImplementation(addr, type, typeHardConstraint, nullEqualityConstraint)
1524-
}
1524+
} else {
1525+
mockInfoGenerator?.let {
1526+
return createMockedObject(addr, type, it, nullEqualityConstraint)
1527+
}
15251528

1526-
mockInfoGenerator?.let {
1527-
return createMockedObject(addr, type, it, nullEqualityConstraint)
1529+
queuedSymbolicStateUpdates += mkFalse().asHardConstraint()
1530+
null
15281531
}
1529-
1530-
queuedSymbolicStateUpdates += mkFalse().asHardConstraint()
1531-
null
15321532
}
15331533
}
15341534

0 commit comments

Comments
 (0)