Update CBMC version, verbose

aws · Apr 24, 2024 · 90da32b · 90da32b
1 parent 1b7a36e
commit 90da32b
Showing 1 changed file with 1 addition and 1 deletion.
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: |