Skip to content

Commit ef82823

Browse files
tony-josi-awstony-josi-aws
committed
Fix CI
1 parent 1ab47c9 commit ef82823

File tree

6 files changed

+39
-31
lines changed

6 files changed

+39
-31
lines changed

‎.github/.cSpellWords.txt‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -89,6 +89,7 @@ BLXNS
8989
bmcr
9090
BMSR
9191
BPDG
92+
BPIALL
9293
brgintclr
9394
brginten
9495
brgintstat
@@ -920,6 +921,7 @@ Picovolts
920921
PIDEVAD
921922
pidr
922923
PIDR
924+
PINSEL
923925
PIOA
924926
PKHBT
925927
pkhtb
@@ -1263,6 +1265,7 @@ STLIDMPUSR
12631265
STLIMPUOR
12641266
STLNVICACTVOR
12651267
STLNVICPENDOR
1268+
Storex
12661269
strbt
12671270
STRBT
12681271
strexb

‎.github/workflows/ci.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -128,7 +128,7 @@ jobs:
128128
path: ./
129129

130130
formatting:
131-
runs-on: ubuntu-20.04
131+
runs-on: ubuntu-latest
132132
steps:
133133
- uses: actions/checkout@v4
134134
- name: Check formatting

‎source/portable/BufferManagement/BufferAllocation_1.c‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -429,7 +429,7 @@ UBaseType_t uxGetNumberOfFreeNetworkBuffers( void )
429429
NetworkBufferDescriptor_t * pxResizeNetworkBufferWithDescriptor( NetworkBufferDescriptor_t * pxNetworkBuffer,
430430
size_t xNewSizeBytes )
431431
{
432-
if( xNewSizeBytes <= ( ipconfigNETWORK_MTU + ipSIZE_OF_ETH_HEADER ) )
432+
if( xNewSizeBytes <= ( ipconfigNETWORK_MTU + ipSIZE_OF_ETH_HEADER ) )
433433
{
434434
/* In BufferAllocation_1.c all network buffer are allocated with a
435435
* maximum size of 'ipTOTAL_ETHERNET_FRAME_SIZE'.No need to resize the

‎test/cbmc/proofs/DNS_ParseDNSReply/DNS_ParseDNSReply_harness.c‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -63,13 +63,15 @@ NetworkBufferDescriptor_t * pxUDPPayloadBuffer_to_NetworkBuffer( const void * pv
6363
uint32_t ulChar2u32( const uint8_t * pucPtr )
6464
{
6565
uint32_t ret;
66+
6667
__CPROVER_assert( __CPROVER_r_ok( pucPtr, 4 ), "must be 4 bytes legal address to read" );
6768
return ret;
6869
}
6970

7071
uint16_t usChar2u16( const uint8_t * pucPtr )
7172
{
7273
uint16_t ret;
74+
7375
__CPROVER_assert( __CPROVER_r_ok( pucPtr, 2 ), "must be 2 bytes legal address to read" );
7476
return ret;
7577
}

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

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -178,6 +178,7 @@ void harness()
178178
{
179179
NetworkBufferDescriptor_t * pxNetworkBuffer;
180180
size_t tcpPacketSize;
181+
181182
__CPROVER_assume( tcpPacketSize >= ( ipSIZE_OF_ETH_HEADER + ipSIZE_OF_IPv4_HEADER + sizeof( TCPHeader_t ) ) );
182183

183184
pxNetworkBuffer = pxGetNetworkBufferWithDescriptor( tcpPacketSize, 0 );

‎test/unit-test/FreeRTOS_DNS_Parser/FreeRTOS_DNS_Parser_utest.c‎

Lines changed: 31 additions & 29 deletions
Original file line numberDiff line numberDiff line change
@@ -2999,51 +2999,52 @@ void test_DNS_ParseDNSReply_answer_lmmnr_reply_fixed_buffer_full_content( void )
29992999
dns_header->usFlags = dnsDNS_PORT;
30003000

30013001
/* First 5 queries have maximum length. */
3002+
30023003
/* DNS name field format requirements:
30033004
* - First two bits must be zero to indicate real length
30043005
* - Maximum length of a single label is 63 bytes (due to first two bits requirement)
30053006
* - Total DNS name is set to 254 bytes to match ipconfigDNS_CACHE_NAME_LENGTH
3006-
*
3007+
*
30073008
* Format breakdown:
30083009
* [label1].[label2].[label3].[label4][\0]
30093010
* where:
30103011
* - label1, label2, label3: 63 bytes each
30113012
* - label4: 61 bytes
30123013
* - Total: 63 + 63 + 63 + 61 + 4 (length) + 1 (null terminator) = 255 bytes
30133014
*/
3014-
for( i=0; i<5; i++ )
3015+
for( i = 0; i < 5; i++ )
30153016
{
30163017
pucUDPPayloadBuffer[ beg ] = 63;
30173018
beg++;
30183019
strcpy( pucUDPPayloadBuffer + beg,
3019-
"FreeRTOSFreeRTOSFree" // 20
3020-
"FreeRTOSFreeRTOSFree" // 40
3021-
"FreeRTOSFreeRTOSFree" // 60
3022-
"Fre" ); // 63
3020+
"FreeRTOSFreeRTOSFree" /* 20 */
3021+
"FreeRTOSFreeRTOSFree" /* 40 */
3022+
"FreeRTOSFreeRTOSFree" /* 60 */
3023+
"Fre" ); /* 63 */
30233024
beg += 63;
30243025
pucUDPPayloadBuffer[ beg ] = 63;
30253026
beg++;
30263027
strcpy( pucUDPPayloadBuffer + beg,
3027-
"FreeRTOSFreeRTOSFree" // 20
3028-
"FreeRTOSFreeRTOSFree" // 40
3029-
"FreeRTOSFreeRTOSFree" // 60
3030-
"Fre" ); // 63
3028+
"FreeRTOSFreeRTOSFree" /* 20 */
3029+
"FreeRTOSFreeRTOSFree" /* 40 */
3030+
"FreeRTOSFreeRTOSFree" /* 60 */
3031+
"Fre" ); /* 63 */
30313032
beg += 63;
30323033
pucUDPPayloadBuffer[ beg ] = 63;
30333034
beg++;
30343035
strcpy( pucUDPPayloadBuffer + beg,
3035-
"FreeRTOSFreeRTOSFree" // 20
3036-
"FreeRTOSFreeRTOSFree" // 40
3037-
"FreeRTOSFreeRTOSFree" // 60
3038-
"Fre" ); // 63
3036+
"FreeRTOSFreeRTOSFree" /* 20 */
3037+
"FreeRTOSFreeRTOSFree" /* 40 */
3038+
"FreeRTOSFreeRTOSFree" /* 60 */
3039+
"Fre" ); /* 63 */
30393040
beg += 63;
30403041
pucUDPPayloadBuffer[ beg ] = 61;
30413042
beg++;
30423043
strcpy( pucUDPPayloadBuffer + beg,
3043-
"FreeRTOSFreeRTOSFree" // 20
3044-
"FreeRTOSFreeRTOSFree" // 40
3045-
"FreeRTOSFreeRTOSFree" // 60
3046-
"F" ); // 61
3044+
"FreeRTOSFreeRTOSFree" /* 20 */
3045+
"FreeRTOSFreeRTOSFree" /* 40 */
3046+
"FreeRTOSFreeRTOSFree" /* 60 */
3047+
"F" ); /* 61 */
30473048
beg += 61;
30483049
pucUDPPayloadBuffer[ beg++ ] = '\0';
30493050

@@ -3055,12 +3056,13 @@ void test_DNS_ParseDNSReply_answer_lmmnr_reply_fixed_buffer_full_content( void )
30553056
* - Header: 12 bytes
30563057
* - Query section: (255 + 4) * 5 bytes = 1295 bytes
30573058
* - Total used: 1307 bytes
3058-
*
3059+
*
30593060
* Available space in UDP payload:
30603061
* - Total UDP payload: 1472 bytes
30613062
* - Used space: 1307 bytes
30623063
* - Remaining space: 165 bytes
30633064
*/
3065+
30643066
/* Last query to fill the remaining 165 bytes. Reserve 4 bytes for type and class fields.
30653067
*
30663068
* Format breakdown:
@@ -3072,24 +3074,24 @@ void test_DNS_ParseDNSReply_answer_lmmnr_reply_fixed_buffer_full_content( void )
30723074
pucUDPPayloadBuffer[ beg ] = 63;
30733075
beg++;
30743076
strcpy( pucUDPPayloadBuffer + beg,
3075-
"FreeRTOSFreeRTOSFree" // 20
3076-
"FreeRTOSFreeRTOSFree" // 40
3077-
"FreeRTOSFreeRTOSFree" // 60
3078-
"Fre" ); // 63
3077+
"FreeRTOSFreeRTOSFree" /* 20 */
3078+
"FreeRTOSFreeRTOSFree" /* 40 */
3079+
"FreeRTOSFreeRTOSFree" /* 60 */
3080+
"Fre" ); /* 63 */
30793081
beg += 63;
30803082
pucUDPPayloadBuffer[ beg ] = 63;
30813083
beg++;
30823084
strcpy( pucUDPPayloadBuffer + beg,
3083-
"FreeRTOSFreeRTOSFree" // 20
3084-
"FreeRTOSFreeRTOSFree" // 40
3085-
"FreeRTOSFreeRTOSFree" // 60
3086-
"Fre" ); // 63
3085+
"FreeRTOSFreeRTOSFree" /* 20 */
3086+
"FreeRTOSFreeRTOSFree" /* 40 */
3087+
"FreeRTOSFreeRTOSFree" /* 60 */
3088+
"Fre" ); /* 63 */
30873089
beg += 63;
30883090
pucUDPPayloadBuffer[ beg ] = 31;
30893091
beg++;
30903092
strcpy( pucUDPPayloadBuffer + beg,
3091-
"FreeRTOSFreeRTOSFree" // 20
3092-
"FreeRTOSFre" ); // 31
3093+
"FreeRTOSFreeRTOSFree" /* 20 */
3094+
"FreeRTOSFre" ); /* 31 */
30933095
beg += 31;
30943096
pucUDPPayloadBuffer[ beg++ ] = '\0';
30953097

0 commit comments

Comments
 (0)