Skip to content

Commit

Permalink
add execution fuzzing to CI
Browse files Browse the repository at this point in the history
  • Loading branch information
Robbepop committed Dec 4, 2023
1 parent 5012e49 commit 741d298
Showing 1 changed file with 38 additions and 2 deletions.
40 changes: 38 additions & 2 deletions .github/workflows/rust.yml
Original file line number Diff line number Diff line change
Expand Up @@ -199,8 +199,8 @@ jobs:
command: udeps
args: --all-targets

fuzz:
name: Fuzzing
fuzz_translate:
name: Fuzz (Translation)
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11
Expand Down Expand Up @@ -240,6 +240,42 @@ jobs:
command: fuzz
args: run translate -j 2 --verbose -- -max_total_time=60 # 1 minute of fuzzing

fuzz_execute:
name: Fuzz (Execution)
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11
- uses: actions-rs/toolchain@v1
with:
profile: minimal
toolchain: nightly
override: true
- name: Set up Cargo cache
uses: actions/cache@v3
continue-on-error: false
with:
path: |
~/.cargo/bin/
~/.cargo/registry/index/
~/.cargo/registry/cache/
~/.cargo/git/db/
target/
fuzz/target/
key: ${{ runner.os }}-cargo-fuzz-${{ hashFiles('**/Cargo.lock') }}
restore-keys: ${{ runner.os }}-cargo-fuzz-
- name: Checkout Submodules
run: git submodule update --init --recursive
- name: Install cargo-fuzz
run: |
# Note: We use `|| true` because cargo install returns an error
# if cargo-udeps was already installed on the CI runner.
cargo install --locked cargo-fuzz || true
- name: Fuzz Translate
uses: actions-rs/cargo@v1
with:
command: fuzz
args: run execute -j 2 --verbose -- -max_total_time=120 # 2 minutes of fuzzing

miri:
name: Miri
runs-on: ubuntu-latest
Expand Down

0 comments on commit 741d298

Please sign in to comment.