Home
last modified time | relevance | path

Searched refs:usEthernetBufferSize (Results 1 – 3 of 3) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ARP/ARPProcessPacket/
DARPProcessPacket_harness.c38 uint16_t usEthernetBufferSize; in harness() local
47 __CPROVER_assume( usEthernetBufferSize >= sizeof( IPPacket_t ) ); in harness()
50 __CPROVER_assume( xLocalBuffer.xDataLength == usEthernetBufferSize ); in harness()
52 xLocalBuffer.pucEthernetBuffer = malloc( usEthernetBufferSize ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ND/prvProcessICMPMessage_IPv6/
DProcessICMPMessage_IPv6_harness.c122 uint16_t usEthernetBufferSize; in harness() local
149 __CPROVER_assume( usEthernetBufferSize >= sizeof( IPPacket_IPv6_t ) ); in harness()
152 __CPROVER_assume( xLocalBuffer.xDataLength == usEthernetBufferSize ); in harness()
154 xLocalBuffer.pucEthernetBuffer = safeMalloc( usEthernetBufferSize ); in harness()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ND/prvReturnICMP_IPv6/
DReturnICMP_IPv6_harness.c126 uint16_t usEthernetBufferSize; in harness() local
151 __CPROVER_assume( usEthernetBufferSize >= sizeof( IPPacket_IPv6_t ) ); in harness()
154 __CPROVER_assume( xLocalBuffer.xDataLength == usEthernetBufferSize ); in harness()
156 xLocalBuffer.pucEthernetBuffer = safeMalloc( usEthernetBufferSize ); in harness()