From b79b2e0f8d4d726c5487722b0a51f0ce4060c330 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Mon, 17 Jun 2024 11:03:35 +0200 Subject: [PATCH] Bump CBMC version to 5.95.1 (#1153) This will make proofs use the latest stable release of CBMC. Co-authored-by: Nikhil Kamath <110539926+amazonKamath@users.noreply.github.com> Co-authored-by: Tony Josi --- .github/workflows/ci.yml | 2 +- test/cbmc/proofs/Socket/lTCPAddRxdata/TCPAddRxdata_harness.c | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 4a1de02ec..ba6a8c166 100644 --- 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: "5.61.0" + cbmc_version: "5.95.1" - env: stepName: Install Dependencies diff --git a/test/cbmc/proofs/Socket/lTCPAddRxdata/TCPAddRxdata_harness.c b/test/cbmc/proofs/Socket/lTCPAddRxdata/TCPAddRxdata_harness.c index fb73ca397..6e0b9278a 100644 --- a/test/cbmc/proofs/Socket/lTCPAddRxdata/TCPAddRxdata_harness.c +++ b/test/cbmc/proofs/Socket/lTCPAddRxdata/TCPAddRxdata_harness.c @@ -36,7 +36,7 @@ void * pvPortMallocLarge( size_t xWantedSize ) void harness() { - FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated( sizeof( FreeRTOS_Socket_t ) ); + FreeRTOS_Socket_t * pxSocket = ensure_FreeRTOS_Socket_t_is_allocated(); size_t uxOffset; const uint8_t * pcData; uint32_t ulByteCount;