-
Notifications
You must be signed in to change notification settings - Fork 45
Closed
Labels
comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution enginectg-bugIssue is a bugIssue is a bug
Description
Description
During resolving StringBuilder, the wrong sort is used for the index in the array for the field value.
To Reproduce
Generate a test for the following code:
public void stringBuilderAsParameterExample(StringBuilder sb) {
UtMock.assume(sb != null);
}Expected behavior
Tests are generated correctly.
Actual behavior
An error occurred during the generation (see attached trace).
Visual proofs (screenshots, logs, images)
Failed requirement.java.lang.IllegalArgumentException: Failed requirement.
at org.utbot.engine.pc.UtArraySelectExpression.<init>(UtExpression.kt:206)
at org.utbot.engine.pc.UtSolverKt.select(UtSolver.kt:92)
at org.utbot.engine.UtAbstractStringBuilderWrapper.value(Strings.kt:228)
at org.utbot.engine.Resolver.resolveObject(Resolver.kt:470)
at org.utbot.engine.Resolver.resolveReferenceValue(Resolver.kt:440)
at org.utbot.engine.Resolver.resolveModel(Resolver.kt:411)
at org.utbot.engine.Resolver.internalResolveModel(Resolver.kt:246)
at org.utbot.engine.Resolver.resolveModels$utbot_framework(Resolver.kt:217)
Environment
Engine tests.
Additional context
No additional context.
Metadata
Metadata
Assignees
Labels
comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution enginectg-bugIssue is a bugIssue is a bug
Type
Projects
Status
Done