From 5953d32e4d32bfb47383adaa476ab59c7d74e434 Mon Sep 17 00:00:00 2001
From: eric-dinh-antithesis <eric.dinh@antithesis.com>
Date: Thu, 24 Apr 2025 12:24:44 -0400
Subject: [PATCH] Dockerfile.antithesis: add symbols for rust, cataloging for
 python, and antithesis tests to image, update entrypoint

---
 Dockerfile.antithesis | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

diff --git a/Dockerfile.antithesis b/Dockerfile.antithesis
index 15041cc89..997b2c7a2 100644
--- a/Dockerfile.antithesis
+++ b/Dockerfile.antithesis
@@ -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"]
\ No newline at end of file