Bump CBMC version to 5.95.1

This will make proofs use the latest stable release of CBMC.
FreeRTOS · Jun 7, 2024 · 6758e40 · 6758e40
1 parent ba6ba81
commit 6758e40
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -377,7 +377,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
@@ -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;