From 6758e40f950ec990a614700399f1700787133a34 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Thu, 6 Jun 2024 10:40:32 +0000
Subject: [PATCH] Bump CBMC version to 5.95.1

This will make proofs use the latest stable release of CBMC.
---
 .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 0ff3e72a4..5674b2cbf 100644
--- 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
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;