Skip to content

Engine treats hidden field and the field it is hidden by as the same field #647

Closed
@volivan239

Description

@volivan239

Description

If we generate tests for the class with hidden fields, generated model is incorrect, because for engine all fields with the same name in one class are the same.

To Reproduce

Launch HiddenFieldExampleTest or HiddenFieldAccessModifiersTest.

Expected behavior

Tests passed.

Actual behavior

Tests doesn't work because generated model is incorrect.

Additional context

This is a sub-issue for #563, look there for more information and examples.

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