aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xtest/cmdlineTests.sh7
1 files changed, 7 insertions, 0 deletions
diff --git a/test/cmdlineTests.sh b/test/cmdlineTests.sh
index 6dc3f77f..4074ce55 100755
--- a/test/cmdlineTests.sh
+++ b/test/cmdlineTests.sh
@@ -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"