diff --git a/scripts/run_fuzzer.py b/scripts/run_fuzzer.py index b5dc43a..84bb256 100644 --- a/scripts/run_fuzzer.py +++ b/scripts/run_fuzzer.py @@ -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=', '')