Bump CBMC version to very latest release

FreeRTOS · Oct 22, 2024 · e046c6c · e046c6c
1 parent 095c3dd
commit e046c6c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -406,7 +406,7 @@ jobs:
       - name: Set up CBMC runner
         uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@main
         with:
-          cbmc_version: "6.1.1"
+          cbmc_version: "6.3.1"
 
       - env:
           stepName: Install Dependencies