Tweak to the s2n/tls proof

GaloisInc · Mar 9, 2021 · 8598350 · 8598350
1 parent 26c24b5
commit 8598350
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/s2nTests/docker/s2n.dockerfile b/s2nTests/docker/s2n.dockerfile
@@ -19,7 +19,9 @@ RUN mkdir -p /saw-script && \
     git clone https://github.com/GaloisInc/s2n.git && \
     mkdir -p s2n/test-deps/saw/bin && \
     cd s2n && \
-    git checkout 90b8913a01c6421444d19aaab798d413872cf6f0
+    git checkout 6586f1ad3b35efcd2287ab98a4be124449dcb780
+
+
 
 COPY scripts/s2n-entrypoint.sh /entrypoint.sh
 ENTRYPOINT [ "/entrypoint.sh" ]