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 25, 2024 · fdbb993 · fdbb993
1 parent cb22f6a
commit fdbb993
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