Skip to content

Add new fuzzing update method to control execution #1740

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

Conversation

Markoutte
Copy link
Collaborator

Description

Adds a new method for Fuzzing base interface that is called first on each fuzzing loop. It supplies some useful information and can be used to tuning configuration. All missed types now are placed into Statistics class instead of throwing an exception. Also, new option in Configuration is added to control whether fuzzing should generate empty collections when element type is already found as a fail-to-generate type.

Fixes #1694

How to test

Automated tests

All automated tests should pass.

New test is added into org.utbot.fuzzing.JavaFuzzingTest

Manual tests

Example from the issue should generate single test with empty collection.

Self-check list

  • I've set the proper labels for my PR (at least, for category and component).
  • PR title and description are clear and intelligible.
  • I've added enough comments, particularly in hard-to-understand areas.
  • The functionality I've repaired, changed or added is covered with automated tests.
  • Manual tests have been provided optionally.
  • The documentation for the functionality I've been working on is up-to-date.

@Markoutte Markoutte added comp-fuzzing Issue is related to the fuzzing ctg-bug-fix PR is fixing a bug labels Jan 24, 2023
@Markoutte Markoutte force-pushed the pelevin/1694_Fuzzer_fails_to_generate_empty_list_for_type_list_Any] branch from 953bb48 to e5f077b Compare January 25, 2023 04:30
@Markoutte Markoutte merged commit 4d5575b into main Jan 25, 2023
@Markoutte Markoutte deleted the pelevin/1694_Fuzzer_fails_to_generate_empty_list_for_type_list_Any] branch January 25, 2023 05:38
@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-fuzzing Issue is related to the fuzzing ctg-bug-fix PR is fixing a bug
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Fuzzer fails to generate empty list for type list[Any]
3 participants