Dockerfile.antithesis: add symbols for rust, cataloging for python, and antithesis tests to image, update entrypoint

This commit is contained in:
eric-dinh-antithesis
2025-04-24 12:24:44 -04:00
parent 62e2745c3c
commit 5953d32e4d

View File

@@ -72,8 +72,16 @@ WORKDIR /app
EXPOSE 8080
COPY --from=builder /usr/lib/libvoidstar.so* /usr/lib/
COPY --from=builder /app/target/release/limbo_stress /bin/limbo_stress
COPY --from=builder /app/target/antithesis/limbo_stress /symbols
COPY stress/docker-entrypoint.sh /bin
RUN chmod +x /bin/docker-entrypoint.sh
ENTRYPOINT ["/bin/docker-entrypoint.sh"]
ENV RUST_BACKTRACE=1
CMD ["/bin/limbo_stress"]
COPY ./antithesis-tests/bank-test/*.py /opt/antithesis/test/v1/bank-test/
COPY ./antithesis-tests/stress-composer/*.py /opt/antithesis/test/v1/stress-composer/
COPY ./antithesis-tests/stress /opt/antithesis/test/v1/stress
RUN chmod 777 -R /opt/antithesis/test/v1
RUN mkdir /opt/antithesis/catalog
RUN ln -s /opt/antithesis/test/v1/bank-test/*.py /opt/antithesis/catalog
ENTRYPOINT ["/bin/docker-entrypoint.sh"]