AWSLC: Try z3 4.8.14

GaloisInc · Dec 7, 2022 · bea5836 · bea5836
1 parent bebb25b
commit bea5836
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/s2nTests/scripts/awslc-entrypoint.sh b/s2nTests/scripts/awslc-entrypoint.sh
@@ -7,9 +7,7 @@ rm bin/saw
 cp /saw-bin/saw bin/saw
 cp /saw-bin/abc bin/abc
 cp /saw-bin/yices bin/yices
-# Z3 4.8.14 has been known to nondeterministically time out with the AWSLC
-# proofs, so fall back to 4.8.10 instead. See #1772.
-cp /saw-bin/z3-4.8.10 bin/z3
+cp /saw-bin/z3 bin/z3
 
 export PATH=/saw-script/aws-lc-verification/SAW/bin:$PATH
 export CRYPTOLPATH=/saw-script/aws-lc-verification/cryptol-specs