diff --git a/test/fuzz/test_runner.py b/test/fuzz/test_runner.py index f4815a5f74..ff3b6e6b6d 100755 --- a/test/fuzz/test_runner.py +++ b/test/fuzz/test_runner.py @@ -268,6 +268,7 @@ def generate_corpus(*, fuzz_pool, src_dir, build_dir, corpus_dir, targets): use_value_profile = int(random.random() < .3) command = [ os.path.join(build_dir, 'src', 'test', 'fuzz', 'fuzz'), + "-rss_limit_mb=8000", "-max_total_time=6000", "-reload=0", f"-use_value_profile={use_value_profile}",