Skip to content

Fix no targets for invocation for abstract this type #1626

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 5, 2023

Conversation

CaelmBleidd
Copy link
Member

@CaelmBleidd CaelmBleidd commented Jan 5, 2023

Description

Add support for testing methods of the abstract classes which have instantiable inheritors. Early we didn't check whether we can create a this instance or not, now we can replace it with its inheritors if there is such an inheritors with non-overridden method under test.

Fixes #1624

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

The same as automatic tests/

Automated Testing

org.utbot.examples.objects.AbstractAnonymousClassTest#testNonOverriddenMethod

Manual Scenario

Run the contest estimator for org.antlr.v4.codegen.Target.getTemplates and check that there are no errors.

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
  • New tests have been added
  • All tests pass locally with my changes

@CaelmBleidd CaelmBleidd requested a review from Damtev January 5, 2023 08:34
@CaelmBleidd CaelmBleidd force-pushed the caelmbleidd/no_targets_for_invocation branch from 5aab381 to f6c2b49 Compare January 5, 2023 09:18
@CaelmBleidd CaelmBleidd force-pushed the caelmbleidd/no_targets_for_invocation branch from f6c2b49 to 94d275f Compare January 5, 2023 10:10
@CaelmBleidd CaelmBleidd enabled auto-merge (squash) January 5, 2023 10:24
@CaelmBleidd CaelmBleidd merged commit 08481e4 into main Jan 5, 2023
@CaelmBleidd CaelmBleidd deleted the caelmbleidd/no_targets_for_invocation branch January 5, 2023 10:32
@alisevych alisevych added ctg-bug-fix PR is fixing a bug comp-symbolic-engine Issue is related to the symbolic execution engine labels Jan 23, 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-bug-fix PR is fixing a bug
Projects
None yet
Development

Successfully merging this pull request may close these issues.

No targets for invocation error on antlr
3 participants