Update CBMC version, verbose

aws · Apr 25, 2024 · d09a070 · d09a070
1 parent ca6a7df
commit d09a070
Showing 1 changed file with 1 addition and 1 deletion.
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
       - name: Check repository visibility
         shell: bash
         run: |