Home
last modified time | relevance | path

Searched refs:xNetworkBuffer2 (Results 1 – 2 of 2) sorted by relevance

/FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ARP/ARPGenerateRequestPacket/
DARPGenerateRequestPacket_harness.c24 NetworkBufferDescriptor_t xNetworkBuffer2; in harness() local
26 xNetworkBuffer2.pucEthernetBuffer = xBuffer; in harness()
27 xNetworkBuffer2.xDataLength = ucBUFFER_SIZE; in harness()
30 __CPROVER_assume( xNetworkBuffer2.xDataLength >= sizeof( ARPPacket_t ) ); in harness()
31 vARPGenerateRequestPacket( &xNetworkBuffer2 ); in harness()
/FreeRTOS-Plus-TCP-v3.1.0/test/unit-test/FreeRTOS_IP_Utils/
DFreeRTOS_IP_Utils_utest.c122 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer, xNetworkBuffer2; in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned() local
128 memset( &xNetworkBuffer2, 0, sizeof( NetworkBufferDescriptor_t ) ); in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned()
132 xNetworkBuffer2.pucEthernetBuffer = ucEthBuffer2; in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned()
140 pxGetNetworkBufferWithDescriptor_ExpectAndReturn( uxNewLength, 0, &xNetworkBuffer2 ); in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned()
144 TEST_ASSERT_EQUAL( &xNetworkBuffer2, pxReturn ); in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned()
145 TEST_ASSERT_EQUAL( xNetworkBuffer2.xDataLength, uxNewLength ); in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned()
146 TEST_ASSERT_EQUAL( xNetworkBuffer2.ulIPAddress, pxNetworkBuffer->ulIPAddress ); in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned()
147 TEST_ASSERT_EQUAL( xNetworkBuffer2.usPort, pxNetworkBuffer->usPort ); in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned()
148 TEST_ASSERT_EQUAL( xNetworkBuffer2.usBoundPort, pxNetworkBuffer->usBoundPort ); in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned()
149 …TEST_ASSERT_EQUAL_MEMORY( pxNetworkBuffer->pucEthernetBuffer, xNetworkBuffer2.pucEthernetBuffer, p… in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned()
[all …]