Skip to content

Types UNSAT for custom Collection #253

Closed
@Damtev

Description

@Damtev

Description

The engine does not generate any executions for the method that uses a custom class implementing java.util.Collection and invokes the unoverridden default Collection's method (like removeIf) and at the same time somehow uses implemented Collection method (for example, toArray from java.util.ArrayList). It happens because the engine adds 2 opposite type constraints for the collection.

To Reproduce

Enable org.utbot.examples.stream.BaseStreamExampleTest#testCustomCollectionStreamExample test and run it.

Expected behavior

Passed test with passed matchers.

Actual behavior

No executions are generated.

Visual proofs (screenshots, logs, images)

image
image

Environment

useConcreteExecution = true

Additional context

Not applicable.

Metadata

Metadata

Assignees

Labels

comp-symbolic-engineIssue is related to the symbolic execution enginectg-bugIssue is a bug

Type

No type

Projects

Status

Done

Relationships

None yet

Development

No branches or pull requests

Issue actions