From fa5e973b4470246d517175b8ef05a2d13df157c3 Mon Sep 17 00:00:00 2001
From: MarcoFalke <falke.marco@gmail.com>
Date: Thu, 9 Apr 2020 00:52:43 +0800
Subject: test: Set -use_value_profile=1 when merging fuzz inputs

---
 test/fuzz/test_runner.py | 1 +
 1 file changed, 1 insertion(+)

(limited to 'test')

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),
         ]
-- 
cgit v1.2.3