Skip to content

Fuzzing fails in concrete execution sometimes #706 #708

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Aug 11, 2022
Merged

Fuzzing fails in concrete execution sometimes #706 #708

merged 1 commit into from
Aug 11, 2022

Conversation

Markoutte
Copy link
Collaborator

Description

Another instance of id generator is supplied for this instance. Fixed by reusing default one.

Fixes #706

Type of Change

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

How Has This Been Tested?

Run example from the issue

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

@Markoutte Markoutte requested a review from dtim August 11, 2022 08:44
dtim
dtim approved these changes Aug 11, 2022
View reviewed changes
Copy link
Collaborator

@dtim dtim left a comment •
edited
Loading

Choose a reason for hiding this comment

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

Sure, it was my mistake to create a new unrelated generator instance here, thank you!

@Markoutte Markoutte enabled auto-merge (squash) August 11, 2022 09:23
@Markoutte Markoutte merged commit 8b12b88 into main Aug 11, 2022
@Markoutte Markoutte deleted the pelevin/706_Fuzzing_fails_in_concrete_execution_sometimes branch August 11, 2022 12:09
denis-fokin pushed a commit that referenced this pull request Aug 18, 2022
@Markoutte @denis-fokin
Fuzzing fails in concrete execution sometimes #706 (#708)
2a001b8
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@dtim dtim dtim approved these changes

Assignees
No one assigned
Labels
None yet
Projects
UTBot Java
Archived in project
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Fuzzing fails in concrete execution sometimes
2 participants
@Markoutte @dtim