diff --git a/Dockerfile.antithesis b/Dockerfile.antithesis index 05184d727..cd97169ae 100644 --- a/Dockerfile.antithesis +++ b/Dockerfile.antithesis @@ -32,6 +32,7 @@ COPY ./testing/sqlite_test_ext ./testing/sqlite_test_ext/ COPY ./testing/unreliable-libc ./testing/unreliable-libc/ COPY ./tests ./tests/ COPY ./vendored ./vendored/ +COPY ./whopper ./whopper/ RUN cargo chef prepare --bin turso_stress --recipe-path recipe.json # @@ -71,6 +72,7 @@ COPY --from=planner /app/testing/sqlite_test_ext ./testing/sqlite_test_ext/ COPY --from=planner /app/testing/unreliable-libc ./testing/unreliable-libc/ COPY --from=planner /app/tests ./tests/ COPY --from=planner /app/vendored ./vendored/ +COPY --from=planner /app/whopper ./whopper/ RUN if [ "$antithesis" = "true" ]; then \ cp /opt/antithesis/libvoidstar.so /usr/lib/libvoidstar.so && \