From 547a71899cbd3836063fa35375b8aae82af46d6b Mon Sep 17 00:00:00 2001
From: Phil Turnbull <philipturnbull@github.com>
Date: Mon, 12 Mar 2018 12:54:06 -0700
Subject: [PATCH] Allow extra libFuzzer arguments to script/reproduce

---
 script/run-fuzzer | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

diff --git a/script/run-fuzzer b/script/run-fuzzer
index 349d2416..ddd481d9 100755
--- a/script/run-fuzzer
+++ b/script/run-fuzzer
@@ -33,16 +33,20 @@ run_fuzzer() {
 }
 
 reproduce() {
-  if [ ! "$#" == 3 ]; then
-    echo "usage: $0 <language> (halt|recover) <testcase>"
+  if [ "$#" -lt 3 ]; then
+    echo "usage: $0 <language> (halt|recover) <testcase> <libFuzzer args...>"
     exit 1
   fi
 
   lang="$1"
-  mode="$2"
-  testcase="$3"
+  shift
+  mode="$1"
+  shift
+  testcase="$1"
+  shift
+  # Treat remainder of arguments as libFuzzer arguments
 
-  "${root}/out/${lang}_fuzzer_${mode}" ${mode_config[$mode]} -runs=1 "${testcase}"
+  "${root}/out/${lang}_fuzzer_${mode}" ${mode_config[$mode]} -runs=1 "${testcase}" "$@"
 }
 
 script=$(basename "$0")