Merge branch 'master' into as/smt-verification

AztecProtocol · Sep 1, 2023 · 7993aab · 7993aab
2 parents 713a1eb + 5d8db8e
commit 7993aab
Show file tree

Hide file tree

Showing 4 changed files with 184 additions and 283 deletions.
diff --git a/acir_tests/run_acir_tests.sh b/acir_tests/run_acir_tests.sh
@@ -7,7 +7,7 @@ set -e
 
 BB=$PWD/${BB:-../cpp/build/bin/bb}
 CRS_PATH=~/.bb-crs
-BRANCH=master
+BRANCH=kw/acvm-0-24
 
 # Pull down the test vectors from the noir repo, if we don't have the folder already.
 if [ ! -d acir_tests ]; then
@@ -29,7 +29,7 @@ fi
 cd acir_tests
 
 # Convert them to array
-skip_array=(diamond_deps_0 workspace workspace_default_member)
+skip_array=(diamond_deps_0 workspace workspace_default_member double_verify_proof)
 
 function test() {
   echo -n "Testing $1... "