We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 36d3be5 commit c495744Copy full SHA for c495744
utbot-framework/src/main/kotlin/org/utbot/engine/Traverser.kt
@@ -1550,7 +1550,6 @@ class Traverser(
1550
return ObjectValue(typeStorage, addr, concreteImplementation)
1551
}
1552
1553
-
1554
private fun TraversalContext.resolveConstant(constant: Constant): SymbolicValue =
1555
when (constant) {
1556
is IntConstant -> constant.value.toPrimitiveValue()
0 commit comments