Use version branch instead of develop

model-checking · Oct 23, 2023 · 23949e2 · 23949e2
1 parent 921b663
commit 23949e2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/setup/al2/install_cbmc.sh b/scripts/setup/al2/install_cbmc.sh
@@ -15,7 +15,7 @@ fi
 # Binaries are not released for AL2, so build from source
 WORK_DIR=$(mktemp -d)
 git clone \
- --branch develop --depth 1 \
+ --branch cbmc-${CBMC_VERSION} --depth 1 \
  https://github.com/diffblue/cbmc \
  "${WORK_DIR}"