-
Notifications
You must be signed in to change notification settings - Fork 45
Open
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
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
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
Todo