From 3f7d35bfdc007ed84c16e34979ced3d233d571b4 Mon Sep 17 00:00:00 2001 From: Dominik Maier Date: Wed, 22 Mar 2023 15:38:33 +0100 Subject: [PATCH] Install libz3-dev in CI (#1163) * install z3 in CI * Update logics.rs --------- Co-authored-by: Dongjia "toka" Zhang --- .github/workflows/build_and_test.yml | 8 ++++---- libafl/src/stages/logics.rs | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/build_and_test.yml b/.github/workflows/build_and_test.yml index 085ee5e620..2d67e735b0 100644 --- a/.github/workflows/build_and_test.yml +++ b/.github/workflows/build_and_test.yml @@ -64,7 +64,7 @@ jobs: - name: Install and cache deps uses: awalsh128/cache-apt-pkgs-action@v1.1.0 with: - packages: llvm llvm-dev clang ninja-build clang-format-13 shellcheck libgtk-3-dev gcc-arm-linux-gnueabi g++-arm-linux-gnueabi libslirp-dev + packages: llvm llvm-dev clang ninja-build clang-format-13 shellcheck libgtk-3-dev gcc-arm-linux-gnueabi g++-arm-linux-gnueabi libslirp-dev libz3-dev - name: get clang version run: command -v llvm-config && clang -v - name: Add nightly rustfmt and clippy @@ -115,7 +115,7 @@ jobs: - name: Install and cache deps uses: awalsh128/cache-apt-pkgs-action@v1.1.0 with: - packages: llvm llvm-dev clang ninja-build clang-format-13 shellcheck libgtk-3-dev gcc-arm-linux-gnueabi g++-arm-linux-gnueabi libslirp-dev + packages: llvm llvm-dev clang ninja-build clang-format-13 shellcheck libgtk-3-dev gcc-arm-linux-gnueabi g++-arm-linux-gnueabi libslirp-dev libz3-dev - name: get clang version run: command -v llvm-config && clang -v - name: Install cargo-hack @@ -157,7 +157,7 @@ jobs: profile: minimal toolchain: stable - name: Install deps - run: sudo apt-get install -y llvm llvm-dev clang ninja-build python3-dev python3-pip python3-venv + run: sudo apt-get install -y llvm llvm-dev clang ninja-build python3-dev python3-pip python3-venv libz3-dev - name: Install maturin run: python3 -m pip install maturin - uses: actions/checkout@v3 @@ -193,7 +193,7 @@ jobs: - uses: lyricwulf/abc@v1 with: # todo: remove afl++-clang when nyx support samcov_pcguard - linux: llvm llvm-dev clang nasm ninja-build gcc-arm-linux-gnueabi g++-arm-linux-gnueabi libgtk-3-dev afl++-clang pax-utils + linux: llvm llvm-dev clang nasm ninja-build gcc-arm-linux-gnueabi g++-arm-linux-gnueabi libgtk-3-dev afl++-clang pax-utils libz3-dev # update bash for macos to support `declare -A` command` macos: llvm libpng nasm coreutils z3 bash wget - name: pip install diff --git a/libafl/src/stages/logics.rs b/libafl/src/stages/logics.rs index 8663dadd09..8d6b6a8666 100644 --- a/libafl/src/stages/logics.rs +++ b/libafl/src/stages/logics.rs @@ -10,7 +10,7 @@ use crate::{ }; #[derive(Debug)] -/// Perform the stage while closure evaluates to true +/// Perform the stage while the closure evaluates to true pub struct WhileStage where CB: FnMut(&mut Z, &mut E, &mut E::State, &mut EM, CorpusId) -> Result,