Skip to content

Commit

Permalink
fix a condition for enable-verification
Browse files Browse the repository at this point in the history
  • Loading branch information
hmeriann committed Aug 21, 2024
1 parent 86730d4 commit e127772
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion scripts/run_fuzzer.py
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,7 @@
db = 'emptyalltypes'
elif param == '--no_checks':
perform_checks = False
elif param == '--enable_verification':
elif param.startswith('--enable_verification'):
verification = param.replace('--enable_verification=', '').lower() == 'true'
elif param.startswith('--shell='):
shell = param.replace('--shell=', '')
Expand Down

0 comments on commit e127772

Please sign in to comment.