Fix formatting

Author: tony-josi-aws

source/portable/BufferManagement/BufferAllocation_1.c

@@ -429,7 +429,7 @@ UBaseType_t uxGetNumberOfFreeNetworkBuffers( void )
 NetworkBufferDescriptor_t * pxResizeNetworkBufferWithDescriptor( NetworkBufferDescriptor_t * pxNetworkBuffer,
                                                                  size_t xNewSizeBytes )
 {
-    if( xNewSizeBytes <= ( ipconfigNETWORK_MTU + ipSIZE_OF_ETH_HEADER )  )
+    if( xNewSizeBytes <= ( ipconfigNETWORK_MTU + ipSIZE_OF_ETH_HEADER ) )
     {
         /* In BufferAllocation_1.c all network buffer are allocated with a
          * maximum size of 'ipTOTAL_ETHERNET_FRAME_SIZE'.No need to resize the

test/cbmc/proofs/DNS_ParseDNSReply/DNS_ParseDNSReply_harness.c

@@ -63,13 +63,15 @@ NetworkBufferDescriptor_t * pxUDPPayloadBuffer_to_NetworkBuffer( const void * pv
 uint32_t ulChar2u32( const uint8_t * pucPtr )
 {
     uint32_t ret;
+
     __CPROVER_assert( __CPROVER_r_ok( pucPtr, 4 ), "must be 4 bytes legal address to read" );
     return ret;
 }
 
 uint16_t usChar2u16( const uint8_t * pucPtr )
 {
     uint16_t ret;
+
     __CPROVER_assert( __CPROVER_r_ok( pucPtr, 2 ), "must be 2 bytes legal address to read" );
     return ret;
 }

test/cbmc/proofs/parsing/ProcessReceivedTCPPacket/ProcessReceivedTCPPacket_harness.c

@@ -178,6 +178,7 @@ void harness()
 {
     NetworkBufferDescriptor_t * pxNetworkBuffer;
     size_t tcpPacketSize;
+
     __CPROVER_assume( tcpPacketSize >= ( ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER + sizeof( TCPHeader_t ) ) );
 
     pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( tcpPacketSize, 0 );

test/unit-test/FreeRTOS_DNS_Parser/FreeRTOS_DNS_Parser_utest.c

@@ -2997,51 +2997,52 @@ void test_DNS_ParseDNSReply_answer_lmmnr_reply_fixed_buffer_full_content( void )
     dns_header->usFlags = dnsDNS_PORT;
 
     /* First 5 queries have maximum length. */
+
     /* DNS name field format requirements:
      * - First two bits must be zero to indicate real length
      * - Maximum length of a single label is 63 bytes (due to first two bits requirement)
      * - Total DNS name is set to 254 bytes to match ipconfigDNS_CACHE_NAME_LENGTH
-     * 
+     *
      * Format breakdown:
      * [label1].[label2].[label3].[label4][\0]
      * where:
      * - label1, label2, label3: 63 bytes each
      * - label4: 61 bytes
      * - Total: 63 + 63 + 63 + 61 + 4 (length) + 1 (null terminator) = 255 bytes
      */
-    for( i=0; i<5; i++ )
+    for( i = 0; i < 5; i++ )
     {
         pucUDPPayloadBuffer[ beg ] = 63;
         beg++;
         strcpy( pucUDPPayloadBuffer + beg,
-            "FreeRTOSFreeRTOSFree" // 20
-            "FreeRTOSFreeRTOSFree" // 40
-            "FreeRTOSFreeRTOSFree" // 60
-            "Fre" ); // 63
+                "FreeRTOSFreeRTOSFree" /* 20 */
+                "FreeRTOSFreeRTOSFree" /* 40 */
+                "FreeRTOSFreeRTOSFree" /* 60 */
+                "Fre" );               /* 63 */
         beg += 63;
         pucUDPPayloadBuffer[ beg ] = 63;
         beg++;
         strcpy( pucUDPPayloadBuffer + beg,
-            "FreeRTOSFreeRTOSFree" // 20
-            "FreeRTOSFreeRTOSFree" // 40
-            "FreeRTOSFreeRTOSFree" // 60
-            "Fre" ); // 63
+                "FreeRTOSFreeRTOSFree" /* 20 */
+                "FreeRTOSFreeRTOSFree" /* 40 */
+                "FreeRTOSFreeRTOSFree" /* 60 */
+                "Fre" );               /* 63 */
         beg += 63;
         pucUDPPayloadBuffer[ beg ] = 63;
         beg++;
         strcpy( pucUDPPayloadBuffer + beg,
-            "FreeRTOSFreeRTOSFree" // 20
-            "FreeRTOSFreeRTOSFree" // 40
-            "FreeRTOSFreeRTOSFree" // 60
-            "Fre" ); // 63
+                "FreeRTOSFreeRTOSFree" /* 20 */
+                "FreeRTOSFreeRTOSFree" /* 40 */
+                "FreeRTOSFreeRTOSFree" /* 60 */
+                "Fre" );               /* 63 */
         beg += 63;
         pucUDPPayloadBuffer[ beg ] = 61;
         beg++;
         strcpy( pucUDPPayloadBuffer + beg,
-            "FreeRTOSFreeRTOSFree" // 20
-            "FreeRTOSFreeRTOSFree" // 40
-            "FreeRTOSFreeRTOSFree" // 60
-            "F" ); // 61
+                "FreeRTOSFreeRTOSFree" /* 20 */
+                "FreeRTOSFreeRTOSFree" /* 40 */
+                "FreeRTOSFreeRTOSFree" /* 60 */
+                "F" );                 /* 61 */
         beg += 61;
         pucUDPPayloadBuffer[ beg++ ] = '\0';
 
@@ -3053,12 +3054,13 @@ void test_DNS_ParseDNSReply_answer_lmmnr_reply_fixed_buffer_full_content( void )
      * - Header:        12 bytes
      * - Query section: (255 + 4) * 5 bytes = 1295 bytes
      * - Total used:    1307 bytes
-     * 
+     *
      * Available space in UDP payload:
      * - Total UDP payload: 1472 bytes
      * - Used space:        1307 bytes
      * - Remaining space:   165 bytes
      */
+
     /* Last query to fill the remaining 165 bytes. Reserve 4 bytes for type and class fields.
      *
      * Format breakdown:
@@ -3070,24 +3072,24 @@ void test_DNS_ParseDNSReply_answer_lmmnr_reply_fixed_buffer_full_content( void )
     pucUDPPayloadBuffer[ beg ] = 63;
     beg++;
     strcpy( pucUDPPayloadBuffer + beg,
-        "FreeRTOSFreeRTOSFree" // 20
-        "FreeRTOSFreeRTOSFree" // 40
-        "FreeRTOSFreeRTOSFree" // 60
-        "Fre" ); // 63
+            "FreeRTOSFreeRTOSFree" /* 20 */
+            "FreeRTOSFreeRTOSFree" /* 40 */
+            "FreeRTOSFreeRTOSFree" /* 60 */
+            "Fre" );               /* 63 */
     beg += 63;
     pucUDPPayloadBuffer[ beg ] = 63;
     beg++;
     strcpy( pucUDPPayloadBuffer + beg,
-        "FreeRTOSFreeRTOSFree" // 20
-        "FreeRTOSFreeRTOSFree" // 40
-        "FreeRTOSFreeRTOSFree" // 60
-        "Fre" ); // 63
+            "FreeRTOSFreeRTOSFree" /* 20 */
+            "FreeRTOSFreeRTOSFree" /* 40 */
+            "FreeRTOSFreeRTOSFree" /* 60 */
+            "Fre" );               /* 63 */
     beg += 63;
     pucUDPPayloadBuffer[ beg ] = 31;
     beg++;
     strcpy( pucUDPPayloadBuffer + beg,
-        "FreeRTOSFreeRTOSFree" // 20
-        "FreeRTOSFre" ); // 31
+            "FreeRTOSFreeRTOSFree" /* 20 */
+            "FreeRTOSFre" );       /* 31 */
     beg += 31;
     pucUDPPayloadBuffer[ beg++ ] = '\0';