From e4447364c23b8aca17140f46253b20fdd173987e Mon Sep 17 00:00:00 2001
From: Dominik Maier <dmnk@google.com>
Date: Sat, 28 May 2022 01:41:43 +0200
Subject: [PATCH] SymCC update (#656)

---
 libafl_concolic/symcc_runtime/symcc | 2 +-
 scripts/clippy.sh                   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/libafl_concolic/symcc_runtime/symcc b/libafl_concolic/symcc_runtime/symcc
index 45cde0269a..5cccc33456 160000
--- a/libafl_concolic/symcc_runtime/symcc
+++ b/libafl_concolic/symcc_runtime/symcc
@@ -1 +1 @@
-Subproject commit 45cde0269ae22aef4cca2e1fb98c3b24f7bb2984
+Subproject commit 5cccc33456c48ad83008eb618e7da5d005c72d89
diff --git a/scripts/clippy.sh b/scripts/clippy.sh
index ad46516241..2593eed2ee 100755
--- a/scripts/clippy.sh
+++ b/scripts/clippy.sh
@@ -8,7 +8,7 @@ if [ "$1" != "--no-clean" ]; then
    echo "[+] Cleaning up previous builds..."
    cargo clean -p libafl
 fi
-RUST_BACKTRACE=full cargo +nightly clippy --all --all-features --tests -- -Z macro-backtrace \
+RUST_BACKTRACE=full cargo +nightly clippy --all --all-features --release --tests -- -Z macro-backtrace \
    -D clippy::all \
    -D clippy::pedantic \
    -W clippy::similar_names \