From b7e8d305b330f899ad0d08a4dad7851596545203 Mon Sep 17 00:00:00 2001 From: Alex Beregszaszi Date: Thu, 31 Aug 2017 00:24:25 +0100 Subject: Run fuzzer tests without optimizer too --- test/cmdlineTests.sh | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'test') 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 ) -- cgit