konveyor / tackle-test-generator-core

Apache License 2.0
28 stars 21 forks source link

Refine assertion generation on constructors #114

Closed rachelt44 closed 2 years ago

rachelt44 commented 2 years ago

Is your feature request related to a problem? Please describe.

Currently we assert on all members of an object being constructed, including default initialization. We should not assert when the constructor is argument-less or when the members are statistically initialized or initialized with default values

Describe the solution you'd like

A clear and concise description of what you want to happen.

Describe alternatives you've considered

A clear and concise description of any alternative solutions or features you've considered.

Additional context

Add any other context or screenshots about the feature request here.

rachelt44 commented 2 years ago

For now, avoid assertions on argument-less constructors is implemented and merged via PR: https://github.com/konveyor/tackle-test-generator-core/pull/118

Avoiding other assertions (e.g., on static final fields) requires deeper analysis, we'll revisit later and then open a new issue.