diff --git a/scripts/run_fuzzer.py b/scripts/run_fuzzer.py index f350756..cfc2aee 100644 --- a/scripts/run_fuzzer.py +++ b/scripts/run_fuzzer.py @@ -33,7 +33,7 @@ elif param == '--no_checks': perform_checks = False elif param == '--enable_verification': - verification = param.replace('--enable_verification=', '').lower() == 'true' + verification = True elif param.startswith('--shell='): shell = param.replace('--shell=', '') elif param.startswith('--seed='): diff --git a/test/sql/call_fuzzyduck.test b/test/sql/call_fuzzyduck.test index 3252c31..93ebeaa 100644 --- a/test/sql/call_fuzzyduck.test +++ b/test/sql/call_fuzzyduck.test @@ -7,8 +7,8 @@ require sqlsmith statement ok call fuzzyduck(max_queries=2, seed=933847600, verbose_output=1, log='sqlsmith.log', complete_log='sqlsmith.complete.log', enable_verification=True); -#statement ok -#call fuzz_all_functions(seed=10, log='log_functions.txt', complete_log='clog_functions.txt' ); +statement ok +call fuzz_all_functions(seed=10, log='log_functions.txt', complete_log='clog_functions.txt' ); -#statement ok -#call fuzzyduck(max_queries=10, seed=4, verbose_output=1, log='__TEST_DIR__/logs.txt', complete_log='__TEST_DIR__/clog.txt', enable_verification=True); +statement ok +call fuzzyduck(max_queries=10, seed=4, verbose_output=1, log='__TEST_DIR__/logs.txt', complete_log='__TEST_DIR__/clog.txt', enable_verification=True);