chore: use built-in SAT solver for CBMC proofs (aws#781)

tautschnig · web-flow · commit 42f7af6b0cbb · 2024-04-25T11:56:56.000-04:00
Invoking an external solver is not necessarily cheaper in terms of CPU
or memory usage.
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
diff --git a/aws-encryption-sdk-specification b/aws-encryption-sdk-specification
@@ -1 +1 @@
-Subproject commit 0d4d63c0859b4b7196777ff236f5f2624ce768c2
+Subproject commit c35fbd91b28303d69813119088c44b5006395eb4
