Skip to content

Fix filtering of UtMockAssumptionViolatedException #1592

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 4 commits into from
Dec 28, 2022

Conversation

mmvpm
Copy link
Collaborator

@mmvpm mmvpm commented Dec 26, 2022

Description

Substitute this text with a concise description of the proposed change. Emphasize, why particular solution was chosen.

Re-Fixes #1524

Type of Change

  • Minor bug fix (non-breaking small changes)

How Has This Been Tested?

Automated Testing

There is no way to write tests for this functionality

Manual Scenario

  1. Publish utbot-api to the Maven local
  2. Add the dependency org.utbot:utbot-api:2022.12-SNAPSHOT to your project
  3. Repeat the scenario from the issue Fuzzer violates UtMock assumptions #1524 (you can even set the Fuzzer to 100%)

Only one test should be generated:
image

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

@mmvpm mmvpm self-assigned this Dec 26, 2022
@mmvpm mmvpm requested a review from sergeypospelov December 26, 2022 14:59
@mmvpm mmvpm force-pushed the ideaseeker/custom_utmock_exception_refix branch from 7423224 to 6cb8e93 Compare December 27, 2022 14:24
@mmvpm mmvpm requested a review from sergeypospelov December 27, 2022 14:26
@mmvpm mmvpm merged commit f287700 into main Dec 28, 2022
@mmvpm mmvpm deleted the ideaseeker/custom_utmock_exception_refix branch December 28, 2022 13:09
@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.

Fuzzer violates UtMock assumptions
3 participants