Skip to content

No executions for Predicate as a returned value #192

Closed
@Damtev

Description

@Damtev

Description

The engine does not produce any executions for the method with java.util.function.Predicate as returning value (possibly it is relevant to other classes from java.util.function as well). In addition, the coverage matcher fails to calculate coverage for such a method.

To Reproduce

Enable and run org.utbot.examples.lambda.SimpleLambdaExamplesTest#testChoosePredicate test.

Expected behavior

2 executions are expected for corresponding matchers with full coverage and the test passes.

Actual behavior

0 executions are generated and coverage calculation fails.

Visual proofs (screenshots, logs, images)

Example:
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

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions