test: Set -use_value_profile=1 when merging fuzz inputs

pull/764/head
MarcoFalke 5 years ago
parent 3410fe6887
commit fa5e973b44
No known key found for this signature in database
GPG Key ID: CE2B75697E69A548

@ -147,6 +147,7 @@ def merge_inputs(*, corpus, test_list, build_dir, merge_dir):
args = [
os.path.join(build_dir, 'src', 'test', 'fuzz', t),
'-merge=1',
'-use_value_profile=1', # Also done by oss-fuzz https://github.com/google/oss-fuzz/issues/1406#issuecomment-387790487
os.path.join(corpus, t),
os.path.join(merge_dir, t),
]

Loading…
Cancel
Save