Skip to content

Added a test with a path diversion because of jdk statics#2067

Merged
Damtev merged 2 commits intomainfrom
damtev/trusted_statics_path_diversion
Mar 29, 2023
Merged

Added a test with a path diversion because of jdk statics#2067
Damtev merged 2 commits intomainfrom
damtev/trusted_statics_path_diversion

Conversation

@Damtev
Copy link
Copy Markdown
Member

@Damtev Damtev commented Mar 29, 2023

Description

As described in #716, we have predicted a possible coverage regression because of not setting static fields from trusted libraries (JDK, for example). So, in this PR a test was added that demonstrates such a regression.

How to test

Automated tests

org.utbot.examples.stdlib.StaticsPathDiversionTest.

Manual tests

Not applicable.

Self-check list

  • I've set the proper labels for my PR (at least, for category and component).
  • PR title and description are clear and intelligible.
  • I've added enough comments to my code, particularly in hard-to-understand areas.
  • The functionality I've repaired, changed or added is covered with automated tests.
  • Manual tests have been provided optionally.
  • The documentation for the functionality I've been working on is up-to-date.

@Damtev Damtev added ctg-question Further information is requested comp-symbolic-engine Issue is related to the symbolic execution engine labels Mar 29, 2023
@Damtev Damtev force-pushed the damtev/trusted_statics_path_diversion branch from fa0689a to d945d54 Compare March 29, 2023 11:28
@Damtev Damtev merged commit d6a1e30 into main Mar 29, 2023
@Damtev Damtev deleted the damtev/trusted_statics_path_diversion branch March 29, 2023 12:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

comp-symbolic-engine Issue is related to the symbolic execution engine ctg-question Further information is requested

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants