commit 32e5c9789df128686ebda877472e5fac81fc7bdc
parent 7a6a7f54d1f27c6b3520fe8cffebeebc6c272ca0
Author: Christian Grothoff <christian@grothoff.org>
Date: Thu, 29 Oct 2020 21:26:12 +0100
improve fuzz_default script
Diffstat:
1 file changed, 7 insertions(+), 3 deletions(-)
diff --git 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