fuzz: Set -rss_limit_mb=8000 for generate as well

This is set by merge, so set it here as well, to avoid OOM.
pull/28178/head
MarcoFalke 9 months ago
parent fa4e396e1d
commit fa3a4102ef
No known key found for this signature in database

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

Loading…
Cancel
Save