Index: tools/fuzz-harness.sh |
diff --git a/tools/fuzz-harness.sh b/tools/fuzz-harness.sh |
index 25c6bef42169f2e74e37ecfcacb1562cf18f03c3..efbf8646cee0e67b1f8c50a55f211767a91341aa 100755 |
--- a/tools/fuzz-harness.sh |
+++ b/tools/fuzz-harness.sh |
@@ -64,6 +64,20 @@ jsfunfuzz_dir="$v8_root/tools/jsfunfuzz" |
if [ ! -d "$jsfunfuzz_dir" ]; then |
echo "Unpacking into $jsfunfuzz_dir ..." |
unzip "$jsfunfuzz_file" -d "$jsfunfuzz_dir" || exit 1 |
+ echo "Patching runner ..." |
+ cat << EOF | patch -s -p0 -d "$v8_root" |
+--- tools/jsfunfuzz/jsfunfuzz/multi_timed_run.py~ |
++++ tools/jsfunfuzz/jsfunfuzz/multi_timed_run.py |
+@@ -125,7 +125,7 @@ |
+ |
+ def many_timed_runs(): |
+ iteration = 0 |
+- while True: |
++ while iteration < 100: |
+ iteration += 1 |
+ logfilename = "w%d" % iteration |
+ one_timed_run(logfilename) |
+EOF |
fi |
flags='--debug-code --expose-gc --verify-gc' |