diff options
author | Ben Smith <binji@chromium.org> | 2019-07-23 14:59:05 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-23 14:59:05 -0700 |
commit | b070467e71f60e7ab00d74078f7742bbf681d0e2 (patch) | |
tree | af8ab4d935dc8b7d64e1e8c96c298f9ba521a3a2 /scripts/fuzz-wasm2wat.sh | |
parent | 890fba3f14b098bad6393f472fb1d49b417f4aeb (diff) | |
download | wabt-b070467e71f60e7ab00d74078f7742bbf681d0e2.tar.gz wabt-b070467e71f60e7ab00d74078f7742bbf681d0e2.tar.bz2 wabt-b070467e71f60e7ab00d74078f7742bbf681d0e2.zip |
Fix some fuzz bugs in wasm2wat (#1128)
Also update the fuzz script to enable various features, so they get fuzz
testing too.
Diffstat (limited to 'scripts/fuzz-wasm2wat.sh')
-rwxr-xr-x | scripts/fuzz-wasm2wat.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/fuzz-wasm2wat.sh b/scripts/fuzz-wasm2wat.sh index b51979b4..5bf7f7c8 100755 --- a/scripts/fuzz-wasm2wat.sh +++ b/scripts/fuzz-wasm2wat.sh @@ -21,4 +21,6 @@ set -o errexit SCRIPT_DIR="$(dirname "$(readlink -f "$0")")" ROOT_DIR="$(dirname "${SCRIPT_DIR}")" -${FUZZ_BIN_DIR}/afl-fuzz -i fuzz-in/wasm/ -o fuzz-out -- out/gcc-fuzz/Debug/wasm2wat @@ +ENABLE="--enable-except --enable-sat --enable-sign --enable-simd --enable-thread --enable-multi --enable-tail --enable-bulk --enable-ref" + +${FUZZ_BIN_DIR}/afl-fuzz -i fuzz-in/wasm/ -o fuzz-out -- out/gcc-fuzz/Debug/wasm2wat @@ ${ENABLE} |