X-Git-Url: https://git.madduck.net/etc/vim.git/blobdiff_plain/ca0dbb8fa6cca8c1fc2650cde9e71402c03a3324..abe57e3d92727f1b26c717fad3978159b987fe79:/scripts/fuzz.py?ds=sidebyside diff --git a/scripts/fuzz.py b/scripts/fuzz.py index 83e02f4..929d3ea 100644 --- a/scripts/fuzz.py +++ b/scripts/fuzz.py @@ -21,7 +21,7 @@ from blib2to3.pgen2.tokenize import TokenError max_examples=1000, # roughly 1k tests/minute, or half that under coverage derandomize=True, # deterministic mode to avoid CI flakiness deadline=None, # ignore Hypothesis' health checks; we already know that - suppress_health_check=HealthCheck.all(), # this is slow and filter-heavy. + suppress_health_check=list(HealthCheck), # this is slow and filter-heavy. ) @given( # Note that while Hypothesmith might generate code unlike that written by @@ -80,10 +80,13 @@ if __name__ == "__main__": try: import sys - import atheris + import atheris # type: ignore[import] except ImportError: pass else: test = test_idempotent_any_syntatically_valid_python - atheris.Setup(sys.argv, test.hypothesis.fuzz_one_input) + atheris.Setup( + sys.argv, + test.hypothesis.fuzz_one_input, # type: ignore[attr-defined] + ) atheris.Fuzz()