Update fuzz-corpus scripts

zip-rs · Jun 13, 2024 · 826384d · 826384d
1 parent 8d7c403
commit 826384d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/fuzz-until-converged.sh b/fuzz-until-converged.sh
@@ -8,7 +8,7 @@ while [[ $iters_without_improvement -lt $MAX_ITERS_WITHOUT_IMPROVEMENT ]]; do
   cp -r "fuzz/corpus/fuzz_$1" "fuzz/corpus/fuzz_$1_old"
   cargo fuzz run --all-features "fuzz_$1" "fuzz/corpus/fuzz_$1" -- \
     -dict=fuzz/fuzz.dict -max_len="$2" -fork="$ncpus" \
-    -max_total_time=1800 -runs=20000000
+    -max_total_time=1800 -runs=20000000 -rss_limit_mb=8192 -timeout=10
   ./recursive-fuzz-cmin.sh "$1" "$2"
   if diff "fuzz/corpus/fuzz_$1" "fuzz/corpus/fuzz_$1_old"; then
     iters_without_improvement=$(( iters_without_improvement + 1 ))

diff --git a/recursive-fuzz-cmin.sh b/recursive-fuzz-cmin.sh
@@ -7,8 +7,7 @@ while true; do
   cp -r "fuzz/corpus/fuzz_$1_iter_${i}" "fuzz/corpus/fuzz_$1_iter_${i}.bak"
   mkdir "fuzz/corpus/fuzz_$1_iter_${j}"
   cargo fuzz cmin --all-features "fuzz_$1" "fuzz/corpus/fuzz_$1_iter_${i}" -- \
-    -dict=fuzz/fuzz.dict -max_len="$2" "fuzz/corpus/fuzz_$1_iter_${j}" \
-    -rss_limit_mb=8192
+    -dict=fuzz/fuzz.dict -max_len="$2" -rss_limit_mb=8192 "fuzz/corpus/fuzz_$1_iter_${j}"
   if diff "fuzz/corpus/fuzz_$1_iter_${i}.bak" "fuzz/corpus/fuzz_$1_iter_${j}"; then
     # Last iteration made no difference, so we're done
     rm -r "fuzz/corpus/fuzz_$1"