From 057931ef282487b2532d29c6d2c7e790b35553a7 Mon Sep 17 00:00:00 2001 From: V <36897290+cryi@users.noreply.github.com> Date: Wed, 24 Jan 2024 12:04:16 +0100 Subject: [PATCH] Update test/cbmc/stubs/HTTPClient_Send_llhttp_execute.c Co-authored-by: Soren Ptak --- test/cbmc/stubs/HTTPClient_Send_llhttp_execute.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/test/cbmc/stubs/HTTPClient_Send_llhttp_execute.c b/test/cbmc/stubs/HTTPClient_Send_llhttp_execute.c index f4035b3d..f305e5cd 100644 --- a/test/cbmc/stubs/HTTPClient_Send_llhttp_execute.c +++ b/test/cbmc/stubs/HTTPClient_Send_llhttp_execute.c @@ -84,9 +84,9 @@ llhttp_errno_t llhttp_execute( llhttp_t * parser, * removing that from CBMC proof execution, the body has to be set here. */ size_t bodyOffset; - if( pParsingContext->pResponse->bufferLen == 0 ) + if( pParsingContext->pResponse->bufferLen == 0U ) { - bodyOffset = 0; + bodyOffset = 0U; } else {