Update test/cbmc/stubs/HTTPClient_Send_llhttp_execute.c

Co-authored-by: Soren Ptak <[email protected]>
FreeRTOS · Jan 24, 2024 · 057931e · 057931e
1 parent 183e2a4
commit 057931e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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
     {