Skip to content

Commit

Permalink
rename no-git-checks to no_git_checks
Browse files Browse the repository at this point in the history
  • Loading branch information
Tmonster committed Sep 4, 2024
1 parent 0008ffd commit dfcac7f
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions scripts/run_fuzzer.py
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@
db = None
shell = None
perform_checks = True
no-git-checks = False
no_git_checks = False
max_queries = 1000
verification = False

Expand Down Expand Up @@ -41,7 +41,7 @@
elif param.startswith('--max_queries='):
max_queries = int(param.replace('--max_queries=', ''))
elif param.startswith('--no-git-checks'):
no-git-checks = param.replace('--no-git-checks=', '').lower() == 'true'
no_git_checks = param.replace('--no-git-checks=', '').lower() == 'true'

if fuzzer is None:
print("Unrecognized fuzzer to run, expected e.g. --sqlsmith or --duckfuzz")
Expand Down Expand Up @@ -104,7 +104,7 @@ def run_shell_command(cmd):

# first get a list of all github issues, and check if we can still reproduce them

if no-git-checks:
if no_git_checks:
current_errors = []
else:
current_errors = fuzzer_helper.extract_github_issues(shell, perform_checks)
Expand Down Expand Up @@ -217,5 +217,5 @@ def run_shell_command(cmd):
print(f"{error_msg}")
print(f"================MARKER====================")

if not no-git-checks:
if not no_git_checks:
fuzzer_helper.file_issue(cmd, error_msg, fuzzer_name, seed, git_hash)

0 comments on commit dfcac7f

Please sign in to comment.