Update CBMC version, verbose

tautschnig · tautschnig · commit 6766fcd08f5f · 2024-04-24T14:18:05.000Z
diff --git a/.github/workflows/proof_ci.yaml b/.github/workflows/proof_ci.yaml
@@ -155,7 +155,7 @@ jobs:
         env:
           EXTERNAL_SAT_SOLVER: kissat
         working-directory: ${{ env.PROOFS_DIR }}
-        run: ${{ env.RUN_CBMC_PROOFS_COMMAND }}
+        run: ${{ env.RUN_CBMC_PROOFS_COMMAND }} --verbose
       - name: Check repository visibility
         shell: bash
         run: |
