diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2020-04-09 00:52:43 +0800 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2020-04-09 00:51:51 +0800 |
| commit | fa5e973b4470246d517175b8ef05a2d13df157c3 (patch) | |
| tree | b9b80c21c664b421ff3de6aa8a4d6889f5df9d14 /test/fuzz/test_runner.py | |
| parent | 3410fe688739f9fc7545043d052dd77fb35de573 (diff) | |
test: Set -use_value_profile=1 when merging fuzz inputs
Diffstat (limited to 'test/fuzz/test_runner.py')
| -rwxr-xr-x | test/fuzz/test_runner.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/fuzz/test_runner.py b/test/fuzz/test_runner.py index bb93060739..87f4255a6f 100755 --- a/test/fuzz/test_runner.py +++ b/test/fuzz/test_runner.py @@ -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), ] |