chore: use built-in SAT solver for CBMC proofs

Invoking an external solver is not necessarily cheaper in terms of CPU or memory usage.
aws · Apr 24, 2024 · 1391595 · 1391595
1 parent 30b4d7d
commit 1391595
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/workflows/proof_ci.yaml b/.github/workflows/proof_ci.yaml
@@ -152,8 +152,6 @@ jobs:
           echo "$(pwd)" >> $GITHUB_PATH
       - name: Run CBMC proofs
         shell: bash
-        env:
-          EXTERNAL_SAT_SOLVER: kissat
         working-directory: ${{ env.PROOFS_DIR }}
         run: ${{ env.RUN_CBMC_PROOFS_COMMAND }}
       - name: Check repository visibility