From b7e8d305b330f899ad0d08a4dad7851596545203 Mon Sep 17 00:00:00 2001
From: Alex Beregszaszi <alex@rtfs.hu>
Date: Thu, 31 Aug 2017 00:24:25 +0100
Subject: [PATCH] Run fuzzer tests without optimizer too

---
 test/cmdlineTests.sh | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/test/cmdlineTests.sh b/test/cmdlineTests.sh
index eb5c714da..f12a66865 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
 )