Skip to content

Fixed wrong targets for virtual invokes #925

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 3 commits into from
Sep 22, 2022

Conversation

Damtev
Copy link
Member

@Damtev Damtev commented Sep 14, 2022

Description

Fixed wrong targets for virtual invokes when we have a user class that implements an interface for that we have predefined library targets.

Fixes #253.

Type of Change

  • Bug fix (non-breaking change which fixes an issue)

How Has This Been Tested?

Automated Testing

org.utbot.examples.stream.BaseStreamExampleTest#testCustomCollectionStreamExample

Checklist :

  • The change followed the style guidelines of the UTBot project
  • Self-review of the code is passed
  • The change contains enough commentaries, particularly in hard-to-understand areas
  • New documentation is provided or existed one is altered
  • No new warnings
  • All tests pass locally with my changes

@Damtev Damtev requested a review from CaelmBleidd September 14, 2022 10:20
@Damtev Damtev force-pushed the damtev/unsat_type_constraints_253 branch from e0fc5bd to 8f818da Compare September 16, 2022 09:08
@Damtev Damtev changed the title Fixed wrong types for virtual invokes Fixed wrong targets for virtual invokes Sep 16, 2022
Copy link
Member

@CaelmBleidd CaelmBleidd left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@Damtev Damtev force-pushed the damtev/unsat_type_constraints_253 branch from 8f818da to aaa514a Compare September 21, 2022 13:08
@denis-fokin denis-fokin added this to the Release preparation milestone Sep 22, 2022
@Damtev Damtev merged commit d754136 into main Sep 22, 2022
@Damtev Damtev deleted the damtev/unsat_type_constraints_253 branch September 22, 2022 12:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Types UNSAT for custom Collection
3 participants