blob: fd2391bfcad6b8b440f8ed7d9d7b4882355559a5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#!/bin/bash
TITLE=$1
shift
if [ ! -f ./public/$TITLE/rules.js ]
then
echo usage: bash tools/fuzz.sh title_id
exit 1
fi
mkdir -p fuzzer/corpus-$TITLE
RULES=../public/$TITLE/rules.js \
npx jazzer tools/rtt-fuzz.js --sync fuzzer/corpus-$TITLE "$@" -- -exact_artifact_path=/dev/null | \
tee fuzzer/log-$TITLE.txt
|
