diff options
author | Christian Grothoff <christian@grothoff.org> | 2020-10-29 21:26:12 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2020-10-29 21:26:12 +0100 |
commit | 32e5c9789df128686ebda877472e5fac81fc7bdc (patch) | |
tree | d93e4907453eaa1f509924a8f69154e15755c155 | |
parent | 7a6a7f54d1f27c6b3520fe8cffebeebc6c272ca0 (diff) |
improve fuzz_default script
-rwxr-xr-x | src/plugins/fuzz_default.sh | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/plugins/fuzz_default.sh b/src/plugins/fuzz_default.sh index 67292cf..c404723 100755 --- a/src/plugins/fuzz_default.sh +++ b/src/plugins/fuzz_default.sh @@ -1,5 +1,7 @@ #!/bin/sh +set -eu + ZZSTARTSEED=0 ZZSTOPSEED=100 ret=0 @@ -14,15 +16,17 @@ then bindir="$bindir/bin" fi -if test -x `which zzuf` +if test ! -x `which zzuf` then + echo "zzuf not available, not running the test" exit 77 fi if test -x `which timeout` then - TIMEOUT=timeout 15 + TIMEOUT="timeout 15" else + echo "timeout command not found, will not auto-timeout (may cause hang)" TIMEOUT="" fi @@ -37,7 +41,7 @@ do do echo "file $file seed $seed" zzuf -c -s $seed cat "$file" > "$tmpfile" - if ! "$TIMEOUT $bindir/extract" -i "$tmpfile" > /dev/null + if ! $TIMEOUT $bindir/extract -i "$tmpfile" > /dev/null then echo "$tmpfile with seed $seed failed" mv $tmpfile $tmpfile.keep |