We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f78b653 commit 3e6a865Copy full SHA for 3e6a865
tools/devctr/Dockerfile
@@ -110,7 +110,7 @@ RUN curl https://sh.rustup.rs -sSf | sh -s -- -y --default-toolchain "$RUST_TOOL
110
&& rustup target add x86_64-unknown-linux-musl \
111
&& rustup target add aarch64-unknown-linux-musl \
112
&& rustup component add llvm-tools-preview \
113
- && cargo install --locked cargo-audit cargo-deny grcov cargo-sort \
+ && cargo install --locked cargo-audit cargo-deny grcov cargo-sort cargo-afl \
114
&& (if [ "$ARCH" = "x86_64" ]; then cargo install --locked kani-verifier && cargo kani setup; else true; fi) \
115
\
116
&& apt-get update \
0 commit comments