Skip to content

Coverage matcher fail in UnsafeOperationsTest #807

@dtim

Description

@dtim

Description

Enabling coverage matcher in test cases of org.utbot.examples.unsafe.UnsafeOperationsTest leads to test failures, as no full coverage can be reached (branches: 0/0, instructions: 15/21, lines: 0/0)

It is necessary to investigate whether the coverage matcher wrongly calculates the coverage, or there really are uncovered instructions. In the latter case, investigate is there is a way to fix it.

Metadata

Metadata

Labels

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

Type

No type

Projects

Status

Todo

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions