From dbdea044c2a4e34b66f23a0fb0d819ee8a0fc206 Mon Sep 17 00:00:00 2001
From: eric-dinh-antithesis <eric.dinh@antithesis.com>
Date: Thu, 19 Jun 2025 17:08:25 -0400
Subject: [PATCH] copy instrumented image and symbols in Dockerfile.antithesis

---
 Dockerfile.antithesis | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Dockerfile.antithesis b/Dockerfile.antithesis
index 156e10396..193b54569 100644
--- a/Dockerfile.antithesis
+++ b/Dockerfile.antithesis
@@ -88,7 +88,8 @@ RUN pip install antithesis
 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 /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