Update CBMC version, verbose

tautschnig · tautschnig · commit 455984a8ee3d · 2024-04-25T07:47:51.000Z
diff --git a/.github/workflows/proof_ci.yaml b/.github/workflows/proof_ci.yaml
@@ -153,7 +153,7 @@ jobs:
       - name: Run CBMC proofs
         shell: bash
         working-directory: ${{ env.PROOFS_DIR }}
-        run: ${{ env.RUN_CBMC_PROOFS_COMMAND }}
+        run: ${{ env.RUN_CBMC_PROOFS_COMMAND }} --verbose --debug
       - name: Check repository visibility
         shell: bash
         run: |
diff --git a/aws-encryption-sdk-specification b/aws-encryption-sdk-specification
@@ -1 +1 @@
-Subproject commit 0d4d63c0859b4b7196777ff236f5f2624ce768c2
+Subproject commit c35fbd91b28303d69813119088c44b5006395eb4
