From 90da32bfc2b6c9d71b7efa0ea398d967477d3b6d Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Tue, 23 Apr 2024 12:07:57 +0000
Subject: [PATCH] Update CBMC version, verbose

---
 .github/workflows/proof_ci.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/proof_ci.yaml b/.github/workflows/proof_ci.yaml
index 9510e369e..e43a382f2 100644
--- 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: |