Skip to content

Support UtMock for fuzzer tests #1517

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 15, 2022
Merged

Conversation

mmvpm
Copy link
Collaborator

@mmvpm mmvpm commented Dec 14, 2022

Description

Added a custom exception UtMockAssumptionViolatedException to filter fuzzer tests that don't satisfy UtMock.assume(predicate)

Fixes #1524

Type of Change

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

How Has This Been Tested?

Automated Testing

There is no way to write tests for this functionality

Manual Scenario

Repeat the scenario from the issue #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

@korifey
Copy link
Contributor

korifey commented Dec 15, 2022

Could you please edit PR description - now it's just template

@mmvpm mmvpm requested a review from CaelmBleidd December 15, 2022 07:45
@mmvpm mmvpm self-assigned this Dec 15, 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.

The screenshot you attached to manual testing section is about symbolic execution and there are no generated tests by fuzzer, so, it is not obvious, what has changed

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

@mmvpm mmvpm merged commit 2ae6fb7 into main Dec 15, 2022
@mmvpm mmvpm deleted the ideaseeker/custom_utmock_exception branch December 15, 2022 10:01
tamarinvs19 pushed a commit that referenced this pull request Dec 21, 2022
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.

Fuzzer violates UtMock assumptions
3 participants