Update SAW version

awslabs · Oct 2, 2024 · 49b0d92 · 49b0d92
1 parent e20ee1e
commit 49b0d92
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/SAW/scripts/install.sh b/SAW/scripts/install.sh
@@ -7,7 +7,7 @@ set -ex
 
 Z3_URL='https://github.com/Z3Prover/z3/releases/download/z3-4.8.8/z3-4.8.8-x64-ubuntu-16.04.zip'
 YICES_URL='https://yices.csl.sri.com/releases/2.6.2/yices-2.6.2-x86_64-pc-linux-gnu-static-gmp.tar.gz'
-SAW_URL='https://saw-builds.s3.us-west-2.amazonaws.com/saw-0.9.0.99-2023-01-20-Linux-x86_64.tar.gz'
+SAW_URL='https://saw-builds.s3.us-west-2.amazonaws.com/saw-0.9.0.99-2023-06-08-ab46c76e0-Linux-x86_64.tar.gz'
 
 mkdir -p /bin /deps