Merge branch 'main' into cargo-update-2024-01-01

model-checking · Jan 2, 2024 · 6cf500b · 6cf500b
2 parents ca4fff8 + d222f9a
commit 6cf500b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/cbmc-latest.yml b/.github/workflows/cbmc-latest.yml
@@ -45,8 +45,8 @@ jobs:
  - name: Build CBMC
  working-directory: ./cbmc
  run: |
- make -C src minisat2-download cadical-download
- make -C src -j4 MINISAT2=../../minisat-2.2.1 CADICAL=../../cadical
+ cmake -S . -Bbuild -DWITH_JBMC=OFF -Dsat_impl="minisat2;cadical"
+ cmake --build build -- -j 4
  # Prepend the bin directory to $PATH
  echo "${GITHUB_WORKSPACE}/cbmc/build/bin" >> $GITHUB_PATH