Skip to content

Fix python fuzzing strategy #1914

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
Mar 9, 2023

Conversation

tamarinvs19
Copy link
Collaborator

Description

Version from #1893 has the following problem: when we get result from cache we don't save this execution in limitManager so fuzzer use all time with one annotation instead of using next annotations from type inference algorithm.

Fixes bug from #1874

How to test

Manual tests

  1. Try generate tests for some python function without full annotation, e.g.
def f(x: list):
    return len(x)
  1. Expected: tests had been generated

Self-check list

Check off the item if the statement is true. Hint: [x] is a marked item.

Please do not delete the list or its items.

  • 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 to my code, 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.

@tamarinvs19 tamarinvs19 added comp-fuzzing Issue is related to the fuzzing lang-python Issue is related to python support ctg-bug-fix PR is fixing a bug labels Mar 9, 2023
@tamarinvs19 tamarinvs19 requested a review from tochilinak March 9, 2023 12:09
@tamarinvs19 tamarinvs19 self-assigned this Mar 9, 2023
@tamarinvs19 tamarinvs19 merged commit 529ab98 into main Mar 9, 2023
@tamarinvs19 tamarinvs19 deleted the tamarinvs19/python-fix-timeout-management branch March 9, 2023 15:03
tamarinvs19 added a commit that referenced this pull request Mar 15, 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-fuzzing Issue is related to the fuzzing ctg-bug-fix PR is fixing a bug lang-python Issue is related to python support
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants