Skip to content

Add missed mockInfoGenerator for system static objects #2014

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 7 commits into from
Mar 22, 2023

Conversation

CaelmBleidd
Copy link
Member

@CaelmBleidd CaelmBleidd commented Mar 22, 2023

Add missed mock information for static values of system classes

Description

Removed a way to create a static object without explicitly providing mockInfoGenerator, added a required one for creating of system static objects

Fixes #2015

How to test

Automated tests

org.utbot.examples.mock.MockStaticMethodExampleTest#testMockStaticMethodFromAlwaysMockClass

Manual tests

Add a system class to the mockAlways list, and run the generation of a code containing static method invocation. At least one branch should be found.

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.

@CaelmBleidd CaelmBleidd added comp-symbolic-engine Issue is related to the symbolic execution engine ctg-bug-fix PR is fixing a bug labels Mar 22, 2023
@CaelmBleidd CaelmBleidd requested a review from Damtev March 22, 2023 10:46
@CaelmBleidd CaelmBleidd enabled auto-merge (squash) March 22, 2023 12:07
@CaelmBleidd CaelmBleidd merged commit a2407f4 into main Mar 22, 2023
@CaelmBleidd CaelmBleidd deleted the caelmbleidd/absent_static_mock_generator branch March 22, 2023 15:18
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-bug-fix PR is fixing a bug
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

No branches found when mock system class
2 participants