SymCC update (#656)

2022-05-28 01:41:43 +02:00 · 2022-05-28 01:41:43 +02:00 · e4447364c2
commit e4447364c2
parent c16738fd10
2 changed files with 2 additions and 2 deletions
--- a/libafl_concolic/symcc_runtime/symcc
+++ b/libafl_concolic/symcc_runtime/symcc
@ -1 +1 @@
-Subproject commit 45cde0269ae22aef4cca2e1fb98c3b24f7bb2984
+Subproject commit 5cccc33456c48ad83008eb618e7da5d005c72d89
--- 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 \