Skip to content

Remove error from generics processing #1646

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 1 commit into from
Jan 10, 2023

Conversation

CaelmBleidd
Copy link
Member

@CaelmBleidd CaelmBleidd commented Jan 10, 2023

Description

We have some unsupported types of generic parameters that were mocked with TODO function, which led to exceptions when these types are encountered. This request replaces TODO instruction with logging

Type of Change

  • Breaking change (fix or feature that would cause existing functionality to not work as expected)

How Has This Been Tested?

Regression and integration tests

Same as automatic tests.

Automated Testing

org.utbot.examples.types.GenericsTest#testMethodWithArrayTypeBoundary

Manual Scenario

Didn't check manually, only in the debugger for the automatic test above.

Checklist:

  • The change followed the style guidelines of the UTBot project
  • Self-review of the code is passed
  • No new warnings
  • New tests have been added
  • All tests pass locally with my changes

@CaelmBleidd CaelmBleidd requested a review from Damtev January 10, 2023 04:18
@CaelmBleidd CaelmBleidd enabled auto-merge (squash) January 10, 2023 04:19
@CaelmBleidd CaelmBleidd merged commit 6fa3e1b into main Jan 10, 2023
@CaelmBleidd CaelmBleidd deleted the caelmbleidd/remove_error_for_unsupported_generics branch January 10, 2023 04:42
@alisevych alisevych added ctg-enhancement New feature, improvement or change request comp-symbolic-engine Issue is related to the symbolic execution engine labels Jan 19, 2023
@alisevych alisevych added this to the 2023.03 Release milestone Mar 21, 2023
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-enhancement New feature, improvement or change request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants