mirror of
https://github.com/dashpay/dash.git
synced 2024-12-25 20:12:57 +01:00
merge bitcoin#18566: Set -use_value_profile=1 when merging fuzz inputs
This commit is contained in:
parent
059e3d0981
commit
b567c459e3
@ -133,6 +133,7 @@ def merge_inputs(*, corpus, test_list, build_dir, merge_dir):
|
|||||||
args = [
|
args = [
|
||||||
os.path.join(build_dir, 'src', 'test', 'fuzz', t),
|
os.path.join(build_dir, 'src', 'test', 'fuzz', t),
|
||||||
'-merge=1',
|
'-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(corpus, t),
|
||||||
os.path.join(merge_dir, t),
|
os.path.join(merge_dir, t),
|
||||||
]
|
]
|
||||||
|
Loading…
Reference in New Issue
Block a user