2021-08-04 20:59:36 +01:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
2021-08-27 14:53:09 +01:00
|
|
|
for d in ./crates/*/fuzz; do
|
2021-08-04 20:59:36 +01:00
|
|
|
pushd "$(dirname "$d")"
|
2022-02-22 13:36:11 +00:00
|
|
|
for fuzzer in $(cargo fuzz list); do
|
2021-08-04 20:59:36 +01:00
|
|
|
echo "$fuzzer"
|
|
|
|
cargo +nightly fuzz build "$fuzzer"
|
|
|
|
done
|
|
|
|
popd
|
|
|
|
done
|
|
|
|
|
|
|
|
|
|
|
|
#JOBS=4
|
2022-02-22 13:36:11 +00:00
|
|
|
#SEED=0
|
|
|
|
DURATION=20
|
2021-08-04 20:59:36 +01:00
|
|
|
|
|
|
|
while true; do
|
2021-08-27 14:53:09 +01:00
|
|
|
for d in ./crates/*/fuzz; do
|
2021-08-04 20:59:36 +01:00
|
|
|
pushd "$(dirname "$d")"
|
2022-02-22 13:36:11 +00:00
|
|
|
for fuzzer in $(cargo fuzz list); do
|
|
|
|
cargo +nightly fuzz run "$fuzzer" -- \
|
|
|
|
-jobs=${JOBS:-0} \
|
|
|
|
-workers=${JOBS:-0} \
|
|
|
|
-max_total_time=$((DURATION * 60)) \
|
|
|
|
-seed=${SEED:-0}
|
2021-08-04 20:59:36 +01:00
|
|
|
done
|
|
|
|
popd
|
|
|
|
done
|
|
|
|
done
|