Searched refs:xNetworkBuffer2 (Results 1 – 4 of 4) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARPGenerateRequestPacket/ |
| D | ARPGenerateRequestPacket_harness.c | 24 NetworkBufferDescriptor_t xNetworkBuffer2; in harness() local
26 xNetworkBuffer2.pucEthernetBuffer = xBuffer; in harness()
27 xNetworkBuffer2.xDataLength = ucBUFFER_SIZE; in harness()
32 xNetworkBuffer2.pxEndPoint = ( NetworkEndPoint_t * ) malloc( sizeof( NetworkEndPoint_t ) ); in harness()
33 __CPROVER_assume( xNetworkBuffer2.pxEndPoint != NULL ); in harness()
34 xNetworkBuffer2.pxEndPoint->pxNext = NULL; in harness()
37 __CPROVER_assume( xNetworkBuffer2.xDataLength >= sizeof( ARPPacket_t ) ); in harness()
38 vARPGenerateRequestPacket( &xNetworkBuffer2 ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARPProcessPacket/ |
| D | ARPProcessPacket_harness.c | 77 NetworkBufferDescriptor_t xNetworkBuffer2; in harness() local
79 xNetworkBuffer2.pucEthernetBuffer = xBuffer; in harness()
80 xNetworkBuffer2.xDataLength = ucBUFFER_SIZE + sizeof( ARPPacket_t ); in harness()
85 xNetworkBuffer2.pxEndPoint = ( NetworkEndPoint_t * ) malloc( sizeof( NetworkEndPoint_t ) ); in harness()
86 __CPROVER_assume( xNetworkBuffer2.pxEndPoint != NULL ); in harness()
87 xNetworkBuffer2.pxEndPoint->pxNext = NULL; in harness()
91 eARPProcessPacket( &xNetworkBuffer2 ); in harness()
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_IP_Utils/ |
| D | FreeRTOS_IP_Utils_utest.c | 131 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer, xNetworkBuffer2; in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned() local
137 memset( &xNetworkBuffer2, 0, sizeof( NetworkBufferDescriptor_t ) ); in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned()
141 xNetworkBuffer2.pucEthernetBuffer = ucEthBuffer2; in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned()
149 pxGetNetworkBufferWithDescriptor_ExpectAndReturn( uxNewLength, 0, &xNetworkBuffer2 ); in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned()
154 TEST_ASSERT_EQUAL( &xNetworkBuffer2, pxReturn ); in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned()
155 TEST_ASSERT_EQUAL( xNetworkBuffer2.xDataLength, uxNewLength ); in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned()
156 … TEST_ASSERT_EQUAL( xNetworkBuffer2.xIPAddress.ulIP_IPv4, pxNetworkBuffer->xIPAddress.ulIP_IPv4 ); in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned()
157 TEST_ASSERT_EQUAL( xNetworkBuffer2.usPort, pxNetworkBuffer->usPort ); in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned()
158 TEST_ASSERT_EQUAL( xNetworkBuffer2.usBoundPort, pxNetworkBuffer->usBoundPort ); in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned()
159 …TEST_ASSERT_EQUAL_MEMORY( pxNetworkBuffer->pucEthernetBuffer, xNetworkBuffer2.pucEthernetBuffer, p… in test_pxDuplicateNetworkBufferWithDescriptor_LargerBufferReturned()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_RA/ |
| D | FreeRTOS_RA_utest.c | 869 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer, xNetworkBuffer2; in test_vReceiveRA_vRAProcesss() local
909 NetworkBufferDescriptor_t * pxNetworkBuffer, xNetworkBuffer, xNetworkBuffer2; in test_vReceiveRA_vRAProcess() local
|
