Merge pull request #2282 from ethereum/fuzzer

Display the source on which the 'fuzzer' failed
This commit is contained in:
chriseth 2017-05-19 18:32:50 +02:00 committed by GitHub
commit 41ee2cefbb

View File

@ -79,7 +79,14 @@ TMPDIR=$(mktemp -d)
"$REPO_ROOT"/scripts/isolate_tests.py "$REPO_ROOT"/test/
for f in *.sol
do
set +e
"$REPO_ROOT"/build/test/solfuzzer --quiet < "$f"
if [ $? -ne 0 ]; then
echo "Fuzzer failed on:"
cat "$f"
exit 1
fi
set -e
done
)
rm -rf "$TMPDIR"