aboutsummaryrefslogtreecommitdiffstats
path: root/test/cmdlineTests.sh
diff options
context:
space:
mode:
Diffstat (limited to 'test/cmdlineTests.sh')
-rwxr-xr-xtest/cmdlineTests.sh7
1 files changed, 7 insertions, 0 deletions
diff --git a/test/cmdlineTests.sh b/test/cmdlineTests.sh
index eb5c714d..f12a6686 100755
--- a/test/cmdlineTests.sh
+++ b/test/cmdlineTests.sh
@@ -147,6 +147,13 @@ TMPDIR=$(mktemp -d)
cat "$f"
exit 1
fi
+
+ "$REPO_ROOT"/build/test/solfuzzer --without-optimizer --quiet < "$f"
+ if [ $? -ne 0 ]; then
+ echo "Fuzzer (without optimizer) failed on:"
+ cat "$f"
+ exit 1
+ fi
set -e
done
)