Skip to content

Commit c1d2ba9

Browse files
tautschnigkar-rahul-awsamazonKamath
authored
Use CBMC version 5.95.1 (FreeRTOS#1226)
The upcoming CBMC version 6 release includes changes that may affect existing proofs. This PR will make sure that FreeRTOS PRs are not negatively impacted by this release. After releasing CBMC version 6 we will issue a follow-up PR that will return FreeRTOS to using CBMC's latest release, and will include any changes to proofs that may be necessary to support the new version. Co-authored-by: Rahul Kar <118818625+kar-rahul-aws@users.noreply.github.com> Co-authored-by: Nikhil Kamath <110539926+amazonKamath@users.noreply.github.com>
1 parent 36b803e commit c1d2ba9

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

.github/workflows/ci.yml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -168,6 +168,8 @@ jobs:
168168
169169
- name: Set up CBMC runner
170170
uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@main
171+
with:
172+
cbmc_version: "5.95.1"
171173

172174
- name: Run CBMC
173175
uses: FreeRTOS/CI-CD-Github-Actions/run_cbmc@main

0 commit comments

Comments
 (0)