Skip to content

Verify mock correctness and selection a little more careful #2153

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 3 commits into from
Apr 17, 2023
Merged

Verify mock correctness and selection a little more careful #2153

merged 3 commits into from
Apr 17, 2023

Conversation

EgorkaKulikov
Copy link
Collaborator

Description

Fixes # (2074)

How to test

Automated tests

All utbot-samples pipeline as regression checks

Manual tests

Scenario from the mentioned issue

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.

@EgorkaKulikov EgorkaKulikov added comp-symbolic-engine Issue is related to the symbolic execution engine ctg-bug-fix PR is fixing a bug labels Apr 17, 2023
@CaelmBleidd
Fix mock generator for static objects
0eb6a6c 
Fixed mistakenly passed UtFieldMockInfo into a method creating static objects
@CaelmBleidd
Remove a default value for mock info generators
9411735
@EgorkaKulikov EgorkaKulikov removed the request for review from CaelmBleidd April 17, 2023 14:05
@EgorkaKulikov EgorkaKulikov merged commit 2588785 into main Apr 17, 2023
@EgorkaKulikov EgorkaKulikov deleted the egor/mocks_in_engine_and_nulls branch April 17, 2023 14:15
@EgorkaKulikov EgorkaKulikov linked an issue Apr 17, 2023 that may be closed by this pull request
Incorrect cast with compilation error in generated test for Spring method #2074
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@sergeypospelov sergeypospelov sergeypospelov approved these changes

Assignees
No one assigned
Labels
comp-symbolic-engine Issue is related to the symbolic execution engine ctg-bug-fix PR is fixing a bug
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Incorrect cast with compilation error in generated test for Spring method
3 participants
@EgorkaKulikov @sergeypospelov @CaelmBleidd