Skip to content

Commit d0a0a9f

Browse files
authored
Merge 'Enable tokio-unstable in Antithesis image' from Mikaël Francoeur
## Description I broke the Antithesis because I used unstable APIs. This PR enables `tokio-unstable` in the docker image. It was already enabled in the workspace via `.cargo/Cargo.toml`, which is why I didn't see the failure locally. I started an Antithesis experiment using this branch, and it's currently running. ## Description of AI Usage Claude identified the issue from the CI logs and implemented the fix. Reviewed-by: Preston Thorpe <[email protected]> Closes #4372
2 parents 3fb787b + 6c22cd1 commit d0a0a9f

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Dockerfile.antithesis

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -86,7 +86,7 @@ COPY --from=planner /app/sdk-kit-macros ./sdk-kit-macros/
8686

8787
RUN if [ "$antithesis" = "true" ]; then \
8888
cp /opt/antithesis/libvoidstar.so /usr/lib/libvoidstar.so && \
89-
export RUSTFLAGS="-Ccodegen-units=1 -Cpasses=sancov-module -Cllvm-args=-sanitizer-coverage-level=3 -Cllvm-args=-sanitizer-coverage-trace-pc-guard -Clink-args=-Wl,--build-id -L/usr/lib/ -lvoidstar" && \
89+
export RUSTFLAGS="--cfg=tokio_unstable -Ccodegen-units=1 -Cpasses=sancov-module -Cllvm-args=-sanitizer-coverage-level=3 -Cllvm-args=-sanitizer-coverage-trace-pc-guard -Clink-args=-Wl,--build-id -L/usr/lib/ -lvoidstar" && \
9090
cargo build --bin turso_stress --features antithesis --profile antithesis; \
9191
else \
9292
cargo build --bin turso_stress --release; \

0 commit comments

Comments
 (0)